Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexander J. Summers
conf.researchr.org general profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
Not registered as user
Name:
Alexander J. Summers
Country:
Canada
Affiliation:
University of British Columbia
Contributions
2022
SPLASH
Author of Modular Specification and Verification of Closures in Rust within the COVID Time Papers In Person-track
2021
SPLASH
Author of Reframing the Liskov Substitution Principle through the Lens of Testing within the SPLASH-E-track
Share
x
Sun 22 Dec 09:39