Software safety and security
Subtitle: tools for analysis and verification
By: edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
Contributors: Nipkow, Tobias, 1958-; Grumberg, Orna; Hauptmann, Benedikt
Series: NATO science for peace and security series. Sub-series D: Information and communication security -- v. 33
Publisher: IOS Press published in cooperation with NATO Emerging Security Challenges Division
Published: 2012
Place of publication: Amsterdam; Washington, DC
Language: eng
Number of pages: 387
ISBN-13: 9781614990277; 9781614990284
Subjects: Computer software; Congresses; Verification; Computer security
Notes: "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security,  Bayrischzell, Germany, 2-14 August 2011."--T.p. verso.

Includes bibliographical references and indexes.