VerifyThis2018: A Program Verification Competition

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

    Research output: Book/Report › Report › Academic

    146 Downloads (Pure)

    Fingerprint

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

    Arts and Humanities

    Social Sciences

    Nursing and Health Professions