Building formal method tools in the Isabelle/Isar framework (2007)

by Makarius Wenzel, Burkhart Wolff
Venue:Proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ’07), volume 4732 of LNCS