ISSRE 2011 Workshop on Software Certification: Hiroshima, Japan

Certification Approaches and Challenges

Certification Support and Practical Experiences

a service of Schloss Dagstuhl - Leibniz Center for Informatics