Encoding Object-Z in Isabelle/HOL

This publication has 10 references indexed in Scilit:

• Recursive Schema Definitions in Object-Z
  Published by Springer Nature ,2000
• The Object-Z Specification Language
  Published by Springer Nature ,2000
• Isomorphisms — A Link Between the Shallow and the Deep
  Published by Springer Nature ,1999
• On the semantic relation of Z and HOL
  Published by Springer Nature ,1998
• A corrected failure-divergence model for CSP in Isabelle/HOL
  Published by Springer Nature ,1997
• A theory of structured model-based specifications in Isabelle/HOL
  Published by Springer Nature ,1997
• Object-oriented Operations Have Two Parts
  Electronic Workshops in Computing, 1997
• A shallow embedding of Z in HOL
  Information and Software Technology, 1995
• Isabelle
  Published by Springer Nature ,1994
• Lambda Calculi with Types
  Published by Oxford University Press (OUP) ,1992