Hoppa till huvudinnehållet

Quick links

Course syllabus: Formal Methods for Industrial Software Systems

7,5 credits, course, master's level, D7063E

Choose semester

Choose period

Course syllabus autumn 2024

Download course syllabus as PDF Download course literature as PDF

To course-pagefor Formal Methods for Industrial Software Systems

Updated: 19 December 2023