Software safety and security : tools for analysis and verification

Author(s)

• NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
• Nipkow, Tobias
• Grumberg, Orna
• Hauptmann, Benedikt

Bibliographic Information

Software safety and security : tools for analysis and verification

edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann

（NATO science for peace and security series, v. 33 . D: Information and communication security）

IOS Press, c2012

• print

Note

"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

Details

• NCID: BB14112885
• ISBN:
  • 9781614990277
• LCCN: 2012937823
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: ix, 387 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA83433596