(1)
Breuer, P.; Pickin, S. Open Source Verification under a Cloud.
ECEASST
2010
,
33
.