TY  - BOOK
AU  - Broy,Manfred
AU  - Leuxner,Christian
AU  - Hoare,Tony
ED  - NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
TI  - Software and systems safety: specification and verification 
T2  - NATO science for peace and security series
SN  - 9781607507109
AV  - QA76.9.A25  .S66 2011
PY  - 2011///
CY  - Washington, D.C.
PB  - IOS Press
KW  - Computer security
KW  - Congresses
KW  - Computer software
KW  - Verification
KW  - Software engineering
ER  -