conf.researchr.org / Zachary Grannan
Registered user since Wed 1 Dec 2021
Name:Zachary Grannan
Bio:
Master’s student at the University of British Columbia
Country:Canada
Affiliation:University of British Columbia
GitHub:https://github.com/zgrannan
Research interests:Software Verification
Contributions
| ECOOP 2022 | Author of REST: Integrating Term Rewriting with Program Verification within the Research Papers-track |