Yannick Zakowski
发表
Chung-Kil Hur,
Benjamin C. Pierce,
Gregory Malecha,
2019
.
Yannick Zakowski,
2013
.
Yannick Zakowski,
2013
.
S. Zdancewic,
Yannick Zakowski,
Irene Yoon,
2022
.
S. Zdancewic,
Yannick Zakowski,
Irene Yoon,
2022,
Proc. ACM Program. Lang..
S. Zdancewic,
L. Henrio,
Yannick Zakowski,
2022,
ArXiv.
David Cachera,
David Pichardie,
Delphine Demange,
2018,
SAC.
David Cachera,
David Pichardie,
Delphine Demange,
2017
.
David Cachera,
David Pichardie,
Delphine Demange,
2017
.
Jan Vitek,
Suresh Jagannathan,
David Cachera,
2017,
Journal of Automated Reasoning.
B. Pierce,
S. Zdancewic,
G. Malecha,
2019,
Proc. ACM Program. Lang..