Ing.

David Chocholatý

Ph.D. student


ichocholaty@fit.vut.cz
A220 Office
222101/BUT personal ID

Products

  • 2024

    Mata: A Finite Automata Library, software
    Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj

    Z3-Noodler: A String Solver, software
    Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj

Back to top