TY  - GEN
AU  - Broy, Manfred.
AU  - Leuxner, Christian.
AU  - Hoare, A. G.
CN  - QA76.76.P76
CY  - Amsterdam, The Netherlands :
DA  - 2011.
ID  - 444771
KW  - Software protection
KW  - Computer software
KW  - Software engineering
KW  - Computer security
KW  - System safety
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10506356
PB  - IOS Press,
PP  - Amsterdam, The Netherlands :
PY  - 2011.
T1  - Software and systems safetyspecification and verification /
TI  - Software and systems safetyspecification and verification /
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10506356
ER  -