Inculcating invariants in introductory courses.

David Evans, Michael Peck

Browse the full ICSE paper archive.