A. Evans
发表
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
Mary Lou Soffa,
Ana Nora Evans,
Bradford Campbell,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Benjamin C. Pierce,
Catalin Hritcu,
Ana Nora Evans,
2017,
ArXiv.