Jonathan P. Bowen, Michael G. Hinchey, David Till

ZUM'97: The Z Formal Specification Notation - 1997 - Springer Berlin Heidelberg 1997 - Lecture Notes in Computer Science .

9783540684909


Computer Science