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