Michael Schaper
发表
Martin Avanzini,
Michael Schaper,
2017
.
Georg Moser,
Martin Avanzini,
Michael Schaper,
2016,
TACAS.
Georg Moser,
Martin Avanzini,
Martin Avanzini,
2013
.
Georg Moser,
Michael Schaper,
Michael Schaper,
2018,
Inf. Comput..
Georg Moser,
Michael Schaper,
Michael Schaper,
2012,
ArXiv.
Martin Avanzini,
Georg Moser,
Michael Schaper,
2020,
Proc. ACM Program. Lang..
Martin Avanzini,
Michael Schaper,
G. Moser,
2023,
Proc. ACM Program. Lang..