Travelled to:1 × Greece
Collaborated with:T.S.Gegg-Harrison R.D.Ganetzky C.M.Olson J.D.Wilson
Talks about:program (2) correct (2) studi (2) construct (1) contract (1) vide (1) pro (1)
Person: Gary R. Bunce
DBLP: Bunce:Gary_R=
Contributed to:
2003Wrote 2 papers:
- ITiCSE-2003-Gegg-HarrisonBGOW #contract #correctness
- Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
- ITiCSE-2003-Gegg-HarrisonBGOW03a #correctness
- Studying program correctness in ProVIDE (TSGH, GRB, RDG, CMO, JDW), p. 262.