Home  |  deutsch  |  Legals  |  Data privacy  |  Sitemap  |  KIT

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},
  place =        {Z\"urich, Switzerland},
  month =        jul
}