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

Reviewed Paper In Proceedings

Author(s):Christoph Gladisch
In:Tests and Proofs. Third International Conference (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 =    {Tests and Proofs. Third International Conference (TAP 2009)},
  publisher =    {Springer},
  year =         {2009},
  place =        {Z\"urich, Switzerland},
  month =        jul
}