Submission of new papers for OpenCert 2012 (6th International Workshop on Foundations and Techniques for Open Source Software Certification) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.