"VerifyThis 2015 - A program verification competition."

Marieke Huisman et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics