Open Source Verification under a Cloud

Peter Breuer; S Pickin

Open Source Verification under a Cloud

Peter Breuer
, S Pickin

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2010
Event	Electronic 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

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

Cite this

@conference{8cc7a227c26e4eddb39fe9f26cc1713c,

title = "Open Source Verification under a Cloud",

author = "Peter Breuer and S Pickin",

year = "2010",

month = jan,

day = "1",

language = "English",

note = "Electronic Communications of the EASST: Proceedings of the Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert2010) ; Conference date: 01-01-2010",

}