Věra Malásková
Secretary
+420 54114 1139
malaska@fit.vut.cz
C208 Organizational Department of Departments
Projects
-
2023
Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, Standardní projekty, GA23-07565S, 2023-2025, running
-
2017
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, 2017-2019, running