Encoding Object-Z in Isabelle/HOL

ZB 2002:Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/3-540-45648-1_5 ◽

2002 ◽

pp. 82-99 ◽

Author(s):

Graeme Smith ◽

Florian Kammüller ◽

Thomas Santen

Download Full-text