![]() | ![]() |
| 2003 | ||
|---|---|---|
| 2 | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness by constructing contracts. ITiCSE 2003: 129-133 | |
| 1 | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness in ProVIDE. ITiCSE 2003: 262 | |
| 1 | Rebecca D. Ganetzky | [1] [2] |
| 2 | Timothy S. Gegg-Harrison | [1] [2] |
| 3 | Christina M. Olson | [1] [2] |
| 4 | Joshua D. Wilson | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page