Martina Vitovská
发表
Jan Strejcek,
Marek Chalupa,
Jiri Slaby,
2016,
TACAS.
Marek Chalupa,
Martina Vitovská,
Jan Strejček,
2019,
International Journal on Software Tools for Technology Transfer.
Jan Strejcek,
Marek Chalupa,
Martina Vitovská,
2018,
TACAS.
Jan Strejcek,
Marek Chalupa,
Martina Vitovská,
2018,
ArXiv.
Jan Strejcek,
Marek Chalupa,
Martina Vitovská,
2018,
SPIN.
Jan Strejcek,
Marek Chalupa,
Jiri Slaby,
2017,
TACAS.
Marek Chalupa,
Martina Vitovská,
Jan Strejček,
2020,
International Journal on Software Tools for Technology Transfer.
Martina Vitovská,
2015
.