Travelled to:
1 × China
Collaborated with:
D.Evans
Talks about:
introductori (1) invari (1) inculc (1) cours (1)
Person: Michael Peck
DBLP: Peck:Michael
Contributed to:
Wrote 1 papers:
- ICSE-2006-EvansP #invariant
- Inculcating invariants in introductory courses (DE, MP), pp. 673–678.