VerifyThis 2012. - Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary (International Journal on Software Tools for Technology Transfer, 2015)