TY  - RPRT
TI  - VerifyThis 2019: A Program Verification Competition (Extended Report)
AU  - Claire Dross
AU  - Carlo A. Furia
AU  - Marieke Huisman
AU  - Rosemary Monahan
AU  - Peter Müller
PY  - 2021
DO  - 10.1007/s10009-021-00619-x
UR  - https://arxiv.org/abs/2008.13610
ID  - 2008.13610
ER  -