Formal Specification: Techniques And Applications
Nimal Nissanke
Formal Specification: Techniques And Applications - - Springer-Verlag 1999 - 295
1-85233-002-3
004.415.52
Formal Specification: Techniques And Applications - - Springer-Verlag 1999 - 295
1-85233-002-3
004.415.52