TY  - BOOK
AU  - Broy,M.
AU  - Kalus,Georg
AU  - Peled,Doron
ED  - NATO Advanced Study Institute on Engineering Dependable Software Systems
TI  - Engineering dependable software systems
T2  - NATO science for peace and security series. Sub-series D, Information and communication security
AV  - QA76.76.V47 N38 2012
U1  - 005.1/4 23
PY  - 2013///]
CY  - Amsterdam, Washington, D. C.
PB  - IOS Press
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Computer systems
KW  - Electronic books
N1  - "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso; "Published in cooperation with NATO Emerging Security Challenges Division."; Includes bibliographical references and indexes
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1477301
ER  -