VerifyThis 2019: A Program Verification Competition (Extended Report)

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

Research output: Working paper

69 Downloads (Pure)

Fingerprint

Dive into the research topics of 'VerifyThis 2019: A Program Verification Competition (Extended Report)'. Together they form a unique fingerprint.

Computer Science

Neuroscience