Lina Marsso
发表
Hubert Garavel,
Lina Marsso,
2018,
MARS/VPT@ETAPS.
Radu Mateescu,
Wendelin Serwe,
Lina Marsso,
2020,
ICTSS.
Radu Mateescu,
Wendelin Serwe,
Lina Marsso,
2018,
TACAS.
Ioannis Parissis,
Radu Mateescu,
Wendelin Serwe,
2019,
IFM.
Hubert Garavel,
Lina Marsso,
2017,
MARS@ETAPS.
Lina Marsso,
Lina Marsso,
2020,
MARS@ETAPS.
Lina Marsso,
2019
.
Franz Wotawa,
Josip Bozic,
Radu Mateescu,
2018,
MARS/VPT@ETAPS.
Lina Marsso,
2019
.