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 - Germany PB - Springer KW - Computer Science KW - Validated Designs for Object-oriented Systems UR - http://link.springer.com/openurl?genre=book&isbn=978-1-85233-881-7 ER -