TY  - BOOK
AU  - Broy,Manfred
AU  - Leuxner,Christian
AU  - Hoare,Tony
TI  - Software and systems safety: specification and verification 
T2  - NATO science for peace and security series
SN  - 9781607507109
PY  - 2011///
CY  - Amsterdam
PB  - IOS Press
KW  - Computer security
KW  - Congresses
KW  - Computer software
KW  - Verification
KW  - Software engineering
N1  - Includes bibliographical references and index
ER  -