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

View PDF

Download Links

by David Von Oheimb