[1]
Breuer, P. and Pickin, S. 2010. Open Source Verification under a Cloud.
Electronic Communications of the EASST
. 33, (Dec. 2010). DOI:https://doi.org/10.14279/tuj.eceasst.33.456.