Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

    Research output: Contribution to journal › Article › Academic

    313 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)'. Together they form a unique fingerprint.