Software and Systems Safety : Specification and Verification - NATO Science for Peace and Security Series - D: Information and Communication Security
, by Broy, Manfred; Leuxner, Christian; Hoare, Tony- ISBN: 9781607507109 | 1607507102
- Cover: Hardcover
- Copyright: 5/15/2011