TY  - BOOK
AU  - Müller, Peter
TI  - Modular specification and verification of object-oriented programs
SN  - 9783540431671
SN  - 200251460
U1  - 005.1 MUL 
PY  - 2002///
CY  - Berlin
PB  - Springer
KW  - Computer software - Development
KW  - Modular programming
KW  - Object-oriented programming (Computer science)
N1  - Based on the author's thesis (doctoral)--Fernuniversität Hagen, 2001. Includes bibliographical references (p. [271]-283) and index. Also available via the World Wide Web
ER  -