Title: An introduction to formal specification with Z and VDM
First published: 1995
Subjects: Development, Z (Computer program language), Computer software, Z (programmeertaal), Z (langage de programmation), Z (computer program language), Formale Spezifikationstechnik, Logiciels, Développement, Z, VDM
LC classification: QA76.73.Z2 S48 1995