Results with Impact on Practice
-
2018
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018, summary research report, 2018
Authors: VOJNAR, T. -
2017
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017, summary research report, 2017
Authors: VOJNAR, T. -
2016
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016, summary research report, 2016
Authors: VOJNAR, T. -
2015
Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015, summary research report, 2015
Authors: VOJNAR, T. -
2005
Automata-based Verification of Programs with Tree Updates, research report, 2005
Authors: HABERMEHL, P., RADU, I., VOJNAR, T.