@InProceedings{BeckertSchlagerSchmitt2005,
author = {Bernhard Beckert and Steffen Schlager and Peter H. Schmitt},
title = {An Improved Rule for While Loops in Deductive Program Verification},
booktitle = {Seventh International Conference on
Formal Engineering Methods ({ICFEM} 2005)},
editor = {Kung-Kiu Lau},
publisher = {Springer},
series = {LNCS},
volume = {3785},
pages = {315--329},
year = {2005},
venue = {Manchester, {UK}}
}