Travelled to:1 × Greece
Collaborated with:T.S.Gegg-Harrison G.R.Bunce R.D.Ganetzky C.M.Olson
Talks about:program (2) correct (2) studi (2) construct (1) contract (1) vide (1) pro (1)
Person: Joshua D. Wilson
DBLP: Wilson:Joshua_D=
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.