A Structure Preserving Encoding of Z in Isabelle/HOL

Kolyang, Thomas Santen, Burkhart Wolff. A Structure Preserving Encoding of Z in Isabelle/HOL. In Joakim von Wright, Jim Grundy, John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings. Volume 1125 of Lecture Notes in Computer Science, pages 283-298, Springer, 1996.

Authors

Kolyang

This author has not been identified. Look up 'Kolyang' in Google

Thomas Santen

This author has not been identified. Look up 'Thomas Santen' in Google

Burkhart Wolff

This author has not been identified. Look up 'Burkhart Wolff' in Google