Analyzing Java in Isabelle/HOL: Formalization, Type Safety and Hoare Logic (2001)

by David von Oheimb