Login / Signup
VerifyThis 2019: a program verification competition.
Claire Dross
Carlo A. Furia
Marieke Huisman
Rosemary Monahan
Peter Müller
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
case study
machine learning
computer science
information technology