TDDE34 Software Verification
Vt2 2026
Information finns endast på engelska!.
Sidansvarig: Ahmed Rezine
Senast uppdaterad: 2026-03-23
Sidansvarig: Ahmed Rezine
Senast uppdaterad: 2026-03-23
Institutionen för datavetenskap
Linköpings universitet
581 83 LINKÖPING
Tel: 013-28 10 00
IDA-ingångar
Grundutbildning
Exjobb
Forskarutbildning
Forskning
Organisation
Internwebb
Akut