"VerifyThis 2012 - A Program Verification Competition."

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics