Open source verification under a cloud
- Breuer, P.T.
- Pickin, S.
Revista:
Electronic Communications of the EASST
ISSN: 1863-2122
Año de publicación: 2010
Volumen: 33
Tipo: Aportación congreso