Provably correct software

Popular science description

Homepage	Teacher	Code	Name	Program
Läsår 11/12 Period 3	Lars-Henrik Eriksson	1DL430	Provably correct software, 10 hp	DVM, FRI

Previous years

Homepage	Teacher	Code	Name	Program
Läsår 10/11 Period 3	Lars-Henrik Eriksson	1DL430	Provably correct software, 10 hp	DVM, FRI
Läsår 09/10 Period 3	Lars-Henrik Eriksson	1DL430	Provably correct software, 10 hp	DV, FRI, MASTER