Local Theory Specifications in Isabelle/Isar (2008)

by F Haftmann, M Wenzel
Venue:In Proc. of the International Conference on Types, Proofs and Programs (TYPES), volume 5497 of LNCS