conf.researchr.org / Alexander J. Summers

Not registered as user yet

Name:Alexander J. Summers
Country:Canada
Affiliation:University of British Columbia

Contributions

SPLASH 2022 Author of Modular Specification and Verification of Closures in Rust within the COVID Time Papers In Person-track
SPLASH 2021 Author of Reframing the Liskov Substitution Principle through the Lens of Testing within the SPLASH-E-track