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

by M Wenzel, B Wolff
Venue:In TPHOLs 2007, lncs