Ing.

Tomáš Dacík

Ph.D. student


idacik@fit.vut.cz
A220 Office
204492/BUT personal ID

Publications

  • 2024

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

Back to top