Other Publication Details
Mandatory Fields
Editorial
D Beyer, M Huisman, V Klebanov, R Monahan
2014
Evaluating Software Verification Systems: Benchmarks and Competitions
Published
0
()
Optional Fields
(Dagstuhl Seminar 14171) Dagstuhl Reports 2014
Grant Details