Using Theory Morphisms for Implementing Formal Methods Tools (2003)

by A D Brucker, B Wolff
Venue:In Geuvers and Wiedijk (eds.), Types for Proof and Programs. LNCS 2646