VerifyThis2018: A Program Verification Competition

Marieke Huisman, Rosemary Monahan, Peter Müller, Andrei Paskevich, Gidon Ernst

    Research output: Book/ReportReportAcademic

    64 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'VerifyThis2018: A Program Verification Competition'. Together they form a unique fingerprint.

    Earth & Environmental Sciences