Jakub Novák

发表

Marek Chalupa, Jan Strejcek, Jakub Novák, 2021, FASE.

Marek Chalupa, Tomás Jasek, Veronika Soková, 2021, TACAS.

Vojtech Merunka, Boris Schegolev, Himesha Wijekoon, 2019, EOMAS@CAiSE.