Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

An Improved Rule for While Loops in Deductive Program Verification

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Steffen Schlager, and Peter H. Schmitt
In:Seventh International Conference on Formal Engineering Methods (ICFEM 2005)
Publisher:Springer
Series:LNCS
Volume:3785
Year:2005
Pages:315-329

BibTeX

@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}}
}