Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany.
(NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 30)