Software safety and security : tools for analysis and verification /
Software safety and security : tools for analysis and verification /
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
- Washington, DC : IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012
- ix, 387 p. : ill. ; 25 cm.
- NATO science for peace and security series. Sub-series D: Information and communication security .
Includes bibliographical references and indexes
9781614990277 1614990271
Computer software--Verification--Congresses
Computer security--Congresses
Computer security--Congresses
Includes bibliographical references and indexes
9781614990277 1614990271
Computer software--Verification--Congresses
Computer security--Congresses
Computer security--Congresses