SPIVEY J M
Understanding Z A Specification Language and Its Formal Semantics - New York Cambridge University press - 131PP
Specification Language
Understanding Z A Specification Language and Its Formal Semantics - New York Cambridge University press - 131PP
Specification Language