Ing.

Michal Hečko

FIT, VZ Automata@FIT – člen pracovní skupiny

ihecko@fit.vut.cz

Odeslat VUT zprávu

Ing. Michal Hečko

Publikace

  • 2024

    HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; HABERMEHL, P. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. Proceedings of CAV'24. Lecture Notes in Computer Science. Montreal: Springer Verlag, 2024. s. 42-67. ISSN: 0302-9743.
    Detail

*) Citace publikací se generují jednou za 24 hodin.