Jonathan P. Bowen, Michael G. Hinchey

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

9783540447825


Computer Science