Tools for Traceable Security Verification.
BCS Int. Acad. Conf. 2008 S. 367 - 390
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
BCS Int. Acad. Conf. 2008 S. 367 - 390
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |