Open source verification under a cloud
- Breuer, P.T.
- Pickin, S.
Revue:
Electronic Communications of the EASST
ISSN: 1863-2122
Année de publication: 2010
Volumen: 33
Type: Communication dans un congrès