VerifyThis 2015: A program verification competition

Marieke Huisman*, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

*Corresponding author for this work

    Research output: Contribution to journalArticleAcademicpeer-review

    6 Citations (Scopus)
    128 Downloads (Pure)


    Dive into the research topics of 'VerifyThis 2015: A program verification competition'. Together they form a unique fingerprint.

    Arts and Humanities

    Social Sciences