Normal view
MARC view
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) (Meeting Name)
Machine generated authority record
Work cat.: (OSt)287124: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany), Software safety and security, 2012.