An Improved Rule for While Loops in Deductive Program Verification.

Bernhard Beckert, Steffen Schlager, Peter H. Schmitt

Browse the full ICFEM paper archive.