Book Chapter
Issues in Implementing a Model Checker for Z
John Derrick, Siobhán North and Tony Simons
Lecture Notes in Computer Science, 2006, Volume 4260, Formal Methods and Software Engineering, Pages 678-696
Journal Article
Z2SAL: a translation-based model checker for Z
John Derrick, Siobhán North and Anthony J. H. Simons
Formal Aspects of Computing, 2011, Volume 23, Number 1, Pages 43-71
Book Chapter
ZML: XML Support for Standard Z
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin and Jin Song Dong, et al.
Lecture Notes in Computer Science, 2003, Volume 2651, ZB 2003: Formal Specification and Development in Z and B, Page 627
Book Chapter
A structure preserving encoding of Z in isabelle/HOL
Kolyang, T. Santen and B. Wolff
Lecture Notes in Computer Science, 1996, Volume 1125, Theorem Proving in Higher Order Logics, Pages 283-298
Book Chapter
Experiments with the Z interchange format and SGML
Daniel M. Germán and D. D. Cowan
Lecture Notes in Computer Science, 1995, Volume 967, ZUM '95: The Z Formal Specification Notation, Pages 224-233
Book Chapter
The Z-into-Haskell tool-kit: An illustrative case study
Howard S. Goodman
Lecture Notes in Computer Science, 1995, Volume 967, ZUM '95: The Z Formal Specification Notation, Pages 374-388
Book Chapter
EZ: A system for automatic prototyping of Z specifications
Veronika Doma and Robin Nicholl
Lecture Notes in Computer Science, 1991, Volume 551, VDM'91 Formal Software Development Methods, Pages 189-203
Book Chapter
Compilation of Z specifications into C for automatic test result evaluation
Erich Mikk
Lecture Notes in Computer Science, 1995, Volume 967, ZUM '95: The Z Formal Specification Notation, Pages 167-180
Book Chapter
Real-time refinement
Colin Fidge
Lecture Notes in Computer Science, 1993, Volume 670, FME '93: Industrial-Strength Formal Methods, Pages 314-331
Book Chapter
Experiences with PiZA, an Animator for Z
M A Hewitt, C M O'Halloran and C T Sennett
Lecture Notes in Computer Science, 1997, Volume 1212, ZUM '97: The Z Formal Specification Notation, Pages 35-51