Description: Software and systems safety

Corporate Authors:	ebrary, Inc., NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Other Authors:	Leuxner, Christian.
Format:	Book
Language:	English
Published:	Amsterdam, The Netherlands : IOS Press, 2011.
Series:	NATO science for peace and security series. Sub-series D, Information and communication security, v. 30
Subjects:	Software protection Computer software > Reliability Software engineering Computer security
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10506356

Physical Description:	ix, 285 p. : ill. (some col.).
Bibliography:	Includes bibliographical references and indexes.
ISSN:	1874-6268 ;