Building Formal Method Tools in the Isabelle/Isar Framework (2007)

by Makarius Wenzel, Burkhart Wolff
Venue:In TPHOLs 2007. LNCS 4732