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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Gladisch
In:Tests and Proofs. Third International Conference (TAP 2009)
Verleger:Springer
Jahr: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
}