@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
}
Could we have chosen a better Loop Invariant or Method Contract?
| Autor(en): | Christoph Gladisch |
|---|---|
| In: | Third International Conference on Tests and Proofs (TAP 2009) |
| Verleger: | Springer |
| Jahr: | 2009 |