Přístupnostní navigace
E-přihláška
Úřední hodiny
Po 8:00-11:00 St 8:00-11:00 a 13:00-14:30 Čt 8:00-11:00 Upozornění: V měsících červenec a srpen jsou úřední hodiny pouze ve středu od 8:00 do 11:00.
E-mail: studijni@fit.vut.cz
Pro emailovou komunikaci se studijním oddělením používejte zásadně adresu studijni@fit.vut.cz.
Více o studijním oddělení
Vyhledávání Vyhledat Zavřít
Ing.
Student doktorského studia
idacik@fit.vut.cz A220 Pracovna 204492/osobní číslo VUT
2024
DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0. Detail