TY  - BOOK
AU  - Charatan, Quentin
TI  - Formal software development: from VDM to Java 
SN  - 0-333-99281-4
U1  - 005.1 CHA 
PY  - 2004///
KW  - Computer Science
N1  - Faculty, students and Staff
UR  - https://libgen.is/book/index.php?md5=95D693AC0CD223A730EE9F85AE67FA62
ER  -