TY - BOOK AU - Hoare, Tony., ed AU - Broy, Manfred., ed AU - Steinbruggen, Ralf., ed TI - Engineering Theories of Software Construction T2 - NATO Science Series SN - 1586031724 U1 - 005.1 PY - 2001/// CY - Amsterdam PB - IOS Press ER -