VerifyThis 2019: a program verification competition
Crossref DOI link: https://doi.org/10.1007/s10009-021-00619-x
Published Online: 2021-05-19
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Dross, Claire
Furia, Carlo A
Huisman, Marieke
Monahan, Rosemary
Müller, Peter
Funding for this research was provided by:
Università della Svizzera italiana
Text and Data Mining valid from 2021-05-19
Version of Record valid from 2021-05-19
Article History
Accepted: 6 May 2021
First Online: 19 May 2021