Ing.

Michal Hečko

Member of Workgroup


ihecko@fit.vut.cz
221755/BUT personal ID

Publications

  • 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. p. 42-67. ISSN: 0302-9743. Detail

Back to top