TY  - BOOK
AU  - Nissanke, Nimal
TI  - Formal Specification, Techniques and Applications
SN  - 9781852330026
U1  - 5.131 
PY  - 1999///
PB  - Springer
KW  - Computer Science
ER  -