Open source verification under a cloud
- Breuer, P.T.
- Pickin, S.
Zeitschrift:
Electronic Communications of the EASST
ISSN: 1863-2122
Datum der Publikation: 2010
Ausgabe: 33
Art: Konferenz-Beitrag