Ing.

Tomáš Dacík

Ph.D. student


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

Publications

  • 2024

    DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0. Detail

Back to top