ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
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
Research interests:Software Verification

Contributions

ECOOP 2022 REST: Integrating Term Rewriting with Program Verification
Show activities from other conferences

Using general profile