Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sabrina Reis
conf.researchr.org general profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Sabrina Reis
Affiliation:
University of California, Santa Cruz
Contributions
2026
HATRA
Author of Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification within the HATRA 2026-track
Share
x
Wed 28 Oct 01:18