Ing.

Tomáš Dacík

Student doktorského studia


idacik@fit.vut.cz
A220 Pracovna
204492/osobní číslo VUT

Publikace

  • 2024

    DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024.
    Detail

Nahoru