Software and systems safety specification and verification /

Saved in:

Bibliographic Details
Corporate Authors:	ProQuest (Firm), NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
Other Authors:	Broy, Manfred, Leuxner, Christian, Hoare, A. G.
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Amsterdam, The Netherlands : IOS Press, 2011.
Series:	NATO science for peace and security series. Information and communication security ; v. 30.
Subjects:	Software protection > Congresses. Computer software > Reliability > Congresses. Software engineering > Congresses. Computer security > Congresses. System safety > Congresses. Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Click to View