SS 22

CourseTypeBachelor / MasterDocent
Static Program AnalysisLectureMNoll
Trends in Computer-Aided VerificationSeminarB/MNoll
Introduction to Program AnalysisProseminarBNoll
Implementation of Heuristic Algorithms for Board GamesPractical courseBBerger/Brix