Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)
Michaela Huhn
, Stefan Gerken
and Carsten Rudolph
Full Text: PDF
Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-292-5