Showing 1 - 1 results of 1 for search 'NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)', query time: 0.07s Refine Results
1
Software and systems safety : specification and verification /
Participants: ProQuest (Firm) [ ]; NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification [ ]; Broy, Manfred. [ TeilnehmendeR ]; Leuxner, Christian. [ TeilnehmendeR ]; Hoare, A. G. [ TeilnehmendeR ]; ...
Published: 2011.
Superior document: NATO science for peace and security series. Sub-series D, Information and communication security, v. 30
Other Authors: “...NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010...”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search