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.












