Formal Specification: Techniques And Applications

Nimal Nissanke

Formal Specification: Techniques And Applications - - Springer-Verlag 1999 - 295



1-85233-002-3

004.415.52

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India