Enter code(s) of course(s):                      
Enrolment in the term FI:Spring 2020 (information valid as of 18/11/2019 00:55)
CodeTotalLimitLFFFPrFFSSPřFFIPdFFSpSESFCSTName of Course
DFOME0           Formal Methods in Theory and Practice