Výsledky s dopadem do praxe
-
2018
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018, souhrnná výzkumná zpráva, 2018
Autoři: VOJNAR, T. -
2017
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017, souhrnná výzkumná zpráva, 2017
Autoři: VOJNAR, T. -
2016
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016, souhrnná výzkumná zpráva, 2016
Autoři: VOJNAR, T. -
2015
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015, souhrnná výzkumná zpráva, 2015
Autoři: VOJNAR, T. -
2005
Automata-based Verification of Programs with Tree Updates, výzkumná zpráva, 2005
Autoři: HABERMEHL, P., RADU, I., VOJNAR, T.