ISSRE 2011 Workshop on Software Certification: Hiroshima, Japan

Certification Approaches and Challenges

Certification Support and Practical Experiences

maintained by Schloss Dagstuhl LZI, founded at University of Trier