Other Journal Details
Mandatory Fields
Claire Dross and Carlo A. Furia and Marieke Huisman and Rosemary Monahan and Peter Müller
2021
January
arXiv:2008.13610 [cs.LO]
VerifyThis 2019: A Program Verification Competition (Extended Report)
Published
0
Optional Fields
Grant Details