Analyzing Java in Isabelle/HOL -- Formalization, . . . (2001)

Cached

Download Links

by David Von Oheimb