TY  - BOOK
AU  - Hoare Tony
AU  - Broy M
AU  - Steinbr Ralf
ED  - NATO Advanced Study Institute on Engineering Theories of Software Construction
TI  - Engineering theories of software construction
T2  - NATO science series. Series III, Computer and systems sciences
SN  - 1586031724 
AV  - QA76.758 
PY  - 2001///
CY  - Burke, VA
PB  - IOS Press
KW  - Software engineering
KW  - System design
N1  - "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Markotoberdorf, Germany"--T.p. verso; Includes bibliographical references and index
ER  -