Open Source Verification under a Cloud

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2010
EventElectronic Communications of the EASST: Proceedings of the Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert2010) -
Duration: 1 Jan 2010 → …

Conference

ConferenceElectronic Communications of the EASST: Proceedings of the Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert2010)
Period1/01/10 → …