TY  - BOOK
AU  - Charatan, Quentin-Kans, Aaron
TI  - Formal Software Development: From VDM to Java
SN  - 0333992814 (PB)
U1  - 005.1 
PY  - 2004///
CY  - New York
PB  - Palgrave Macmillan
KW  - Computer Software--Development--Formal Methods
N1  - Include Index
ER  -