FI FMSA Formal Methods for Software Analysis
Název anglicky: Formal Methods for Software Analysis
v akred. studijním programu, prezenční, vyučovací jazyk: čeština
Zahrnut v programu: FI C-TEV Tematické vzdělávání
v akred. studijním programu, prezenční, vyučovací jazyk: čeština
Zahrnut v programu: FI C-TEV Tematické vzdělávání