Title: Software development with Z
First published: 1992
Subjects: Development, Formal methods (Computer science), Z (Computer program language), Computer software
LC classification: QA76.73.Z2 W67 1992