@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}}
}
An Improved Rule for While Loops in Deductive Program Verification
| Autor(en): | Bernhard Beckert, Steffen Schlager und Peter H. Schmitt |
|---|---|
| In: | Seventh International Conference on Formal Engineering Methods (ICFEM 2005) |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 3785 |
| Jahr: | 2005 |
| Seiten: | 315-329 |