Tvůrčí aktivity

• HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.: Z3-Noodler; Z3-Noodler: A String Solver. https://github.com/VeriFIT/z3-noodler. URL: https://github.com/VeriFIT/z3-noodler. (software)
  https://github.com/VeriFIT/z3-noodler, počet stažení: 0
  Detail

• HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: mata; Mata: A Finite Automata Library. https://github.com/VeriFIT/mata. URL: https://github.com/VeriFIT/mata. (software)
  https://github.com/VeriFIT/mata, počet stažení: 0
  Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.