Software and Systems Safety − Specification and Verification
Book Title
Software and Systems Safety − Specification and Verification
Editor
Manfred Broy and Christian Leuxner and Tony Hoare
ISBN
978−1−60750−710−9
Publisher
IOS Press
Series
NATO Science for Peace and Security Series − D: Information and Communication Security
Volume
30
Year
2011