Material del curso para TDDE34 en Linköpings universitet, compartido por compañeros.
Mikroekonomisk teori
Mjukvarutesting
Mjukvaruverifiering
Mjukvaruverktyg
Software Verification
