VerifyThis 2019: a program verification competition. - Dross, Claire; Furia, Carlo A; Huisman, Marieke; Monahan, Rosemary; Müller, Peter (International Journal on Software Tools for Technology Transfer, 2021)