VerifyThis 2012 - A Program Verification Competition

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan. VerifyThis 2012 - A Program Verification Competition. STTT, 17(6):647-657, 2015. [doi]

Abstract

Abstract is missing.