Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
FIT, UITS – vědecký pracovník
ichocholaty@fit.vut.cz
Odeslat VUT zprávu
2024
HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.: Z3-Noodler: A String Solver. URL: https://github.com/VeriFIT/z3-noodler. (Software)Detail
HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: Mata: A Finite Automata Library. URL: https://github.com/VeriFIT/mata. (Software)Detail
*) Citace se generují jednou za 24 hodin.