A Structure Preserving Encoding of Z in Isabelle/HOL (1996)

by Kolyang Santen Wolff , T. Santen , B. Wolff
Venue:Theorem Proving in Higher-Order Logics, LNCS 1125
Citations:34 - 7 self