Normal view
MARC view
Hauptmann, Benedikt (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) 640559, Software safety and security :, ©2012.