Title: Formal Specification Using Z (Computer Science)
First published: June 28, 1991
Subjects: Z (computer program language), Z (Computer program language), Computer software, Development, Formal methods (Computer science), Z (Langage de programmation), Méthodes formelles (Informatique)