21. – 25. April 2014, Dagstuhl Seminar 14171
Letzte Aktualisierung: 03. Juli 2014

Evaluating Software Verification Systems: Benchmarks and Competitions

Participants



Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner