VerifyThis 2019: a program verification competition

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

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

9 Citations (Scopus)

73 Downloads (Pure)

9 Citations
1 Working paper

1 results

Filter

2020
VerifyThis 2019: A Program Verification Competition (Extended Report)
Dross, C., Furia, C. A., Huisman, M., Monahan, R. & Müller, P., 31 Aug 2020, ArXiv.org, 19 p.
Research output: Working paper

Open Access
File
69 Downloads (Pure)