Yannick Zakowski
发表
Yannick Zakowski,
2017
.
Yannick Zakowski,
2017
.
Chung-Kil Hur,
Steve Zdancewic,
Yannick Zakowski,
2020,
CPP.
Chung-Kil Hur,
Benjamin C. Pierce,
Gregory Malecha,
2019
.
Jan Vitek,
Suresh Jagannathan,
David Cachera,
2017,
Journal of Automated Reasoning.
David Cachera,
David Pichardie,
Delphine Demange,
2017
.
David Cachera,
David Pichardie,
Delphine Demange,
2018,
SAC.
Chung-Kil Hur,
Benjamin C. Pierce,
Gregory Malecha,
2020,
Proc. ACM Program. Lang..
Jan Vitek,
Suresh Jagannathan,
David Cachera,
2017,
ITP.
Steve Zdancewic,
Vadim Zaliva,
Yannick Zakowski,
2021,
Proc. ACM Program. Lang..
David Cachera,
David Pichardie,
Delphine Demange,
2017
.