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 Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024. Detail