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.