Open source verification under a cloud
- Breuer, P.T.
- Pickin, S.
Revista:
Electronic Communications of the EASST
ISSN: 1863-2122
Any de publicació: 2010
Volum: 33
Tipus: Aportació congrés