Petr Janku
发表
Philipp Rümmer,
Lukás Holík,
Anthony Widjaja Lin,
2017,
Proc. ACM Program. Lang..
Lukás Holík,
Tomás Vojnar,
Ondrej Lengál,
2017,
TACAS.
Bui Phi Diep,
P. Abdulla,
M. Atig,
2023,
ArXiv.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Julian Dolby,
2020,
PLDI.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Lukás Holík,
2019,
ATVA.