Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Professor Peter Gorm Larsen
Aarhus Universitet
Finlandsgade 22
8200 Århus N
Danmark
pgl @ eng.au.dk
41893260
Indledende emner
Formelle sprog
Logik
Semantik
Systemudvikling
Videregående emner
Modeling and Simulation
Software Engineering
Software Verification
Systems Development