Explaining verification conditions (2008)

by Ewen Denney, Bernd Fischer
Venue:In Algebraic Methodology and Software Technology, volume 5140 of LNCS