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

Could we have chosen a better Loop Invariant or Method Contract?

Reviewed Paper In Proceedings
Author(s):Christoph Gladisch
In:Third International Conference on Tests and Proofs (TAP 2009)
Publisher:Springer
Year:2009

BibTeX

@InProceedings{tap2009gladisch,
  author    =    {Christoph Gladisch},
  title     =    {Could we have chosen a better Loop Invariant or Method Contract?},
  editor    =    {Catherine Dubois},
  booktitle =    {Third International Conference on Tests and Proofs (TAP 2009)},
  publisher =    {Springer},
  year      =    {2009},
  venue     =    {Z\"urich, Switzerland},
  month     =    jul
}