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

Begutachtete Veröffentlichung in Tagungsband

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