Results 1 -
0 of
0
No citations were found for this document.
An Introduction to Formal Specification and Z (1990)
by Potter BF, Sinclair JE, D Till
| Venue: | International Series in Computer Science |
