The use of Z

This publication has 13 references indexed in Scilit:

• A Refinement Case Study (using the Abstract Machine Notation)
  Published by Springer Nature ,1991
• Using Z to Develop a CASE Toolset
  Published by Springer Nature ,1990
• Computer Aided Transformation of Z into Prolog
  Published by Springer Nature ,1990
• CICS/ESA 3.1 Experiences
  Published by Springer Nature ,1990
• Formal specifications as reusable frameworks
  Published by Springer Nature ,1990
• Z User Workshop
  Published by Springer Nature ,1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• UMIST OBJ: a Language for Executable Program Specifications
  The Computer Journal, 1989
• The Larch Family of Specification Languages
  IEEE Software, 1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980