Marcel Moosbrugger
发表
Ezio Bartocci,
Joost-Pieter Katoen,
Laura Kovács,
2020,
ArXiv.
Joost-Pieter Katoen,
Ezio Bartocci,
Laura Kovács,
2021,
ESOP.
Joost-Pieter Katoen,
Ezio Bartocci,
Marcel Moosbrugger,
2021,
FM.