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

by Kolyang, T Santen, B Wolff
Venue:In Theorem Proving in Higher Order Logics - 9th International Conference.LNCS 1125Springer Verlag