Course Formal Methods DD2452

HT 2024 form24

KTH / Course web / Formal Methods (DD2452) / HT 2024 form24

HT 2024 form24

Log in to your course web

You are not logged in KTH, so we cannot customize the content.

Teachers

Dilian Gurov Examiner, Course responsible
Musard Balliu Teacher

No activity in the past month. Go to the News feed to see older activity

HT 2024 form24
Formal Methods

DD2452 | credits

Selection: only course round/group

Overview
News feed
Schedule
HT 2024 form24

KTH

Study at KTH
Research
Cooperation
About KTH
Student at KTH
Alumni
KTH Intranet

Organisation

KTH Library
KTH Schools
Competence centres
President and management
University Administration

Services

Timetables
Course and programme directory
Course, programme and group webs
Learning management system (Canvas)
Webmail

Contact

KTH Royal Institute of Technology
SE-100 44 Stockholm
Sweden
+46 8 790 60 00

Contact KTH
Work at KTH
Press and media
About KTH website