R-j Back, L Mannila, P Sibelus and M Peltomäki: Structured derivations: A logic based approach to teaching mathematics. Formed 2008
R-J Back, L Mannila and J Eriksson: Teaching the Construction of Correct Programs Using Invariant Based Programming. SEEFM 2007

IMPEd Resource Centre

Lecture slides will be provided after the tutorial.