Title: An introduction to formal specification and Z
First published: 1991
Subjects: Development, Computer software, Z (Computer program language), Formal languages, Z (langage de programmation), Logiciels, Développement, Z (Langage de programmation)