Výsledky s dopadem do praxe

• 2018

  VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018. Brno: Red Hat, 2018. 3 s.
  Detail

• 2017

  VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech s.r.o., 2017. 2 s.
  Detail

• 2016

  VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech s.r.o., 2016. 2 s.
  Detail

• 2015

  VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech s.r.o., 2015. 3 s.
  Detail

• 2005

  HABERMEHL, P., RADU, I., VOJNAR, T. Automata-based Verification of Programs with Tree Updates. Verimag Technical Report number TR-2005-16, Grenoble: VERIMAG, 2005. 28 p.
  Detail

*) Citace se generují jednou za 24 hodin.