TY  - GEN
T1  - Software systems safety
AU  - Grumberg, Orna,
AU  - Seidl, Helmut,
AU  - Irlbeck, Maximilian,
VL  - Voume 36
CN  - Ebrary Academic Complete
CN  - QA76.76.S95
ID  - 722153
KW  - Systems software
KW  - Computer security
KW  - Software engineering
SN  - 9781614993858
TI  - Software systems safety
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=11048359
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=11048359
ER  -