Kurssimateriaalia kurssille TDDE34 yliopistossa Linköpings universitet, jaettuna kurssikavereiden kesken.
Mikroekonomisk teori
Mjukvarutesting
Mjukvaruverifiering
Mjukvaruverktyg
Software Verification
