Software and systems safety
Subtitle: specification and verification
By: edited by Manfred Broy, Christian Leuxner and Tony Hoare
Contributors: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010: Marktoberndorf, Germany)
Series: NATO science for peace and security series: -- Sub-series D: -- Information and communication security -- vol. 30; NATO science for peace and security series -- v. 30.
Publisher: IOS Press
Published: 2011
Place of publication: Amsterdam; Washington, D.C
Language: eng
Number of pages: 285
ISBN-13: 9781607507109; 9781607507116
Subjects: Computer security; Congresses; Verification; Software engineering; Computer software
Notes: Includes bibliographical references and index.