"VerifyThis 2019: A Program Verification Competition (Extended Report)."

Claire Dross et al. (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics