Barbora Šmahlíková

Produkty

• 2022

  Ranker: Nástroj pro komplementaci Büchiho automatů, software
  Autoři: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora