TY  - BOOK
AU  - John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
TI  - Validated Designs for Object-oriented Systems
SN  - 978-1-84628-107-5
PY  - 2005///
CY  - New York
PB  - Springer US
KW  - Computer Science
ER  -