Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jaymon Furniss
conf.researchr.org general profile
SPLASH 2022 profile
Not registered as user
Name:
Jaymon Furniss
Contributions
2022
SPLASH
In-person student volunteer in Organizers within the Student Volunteers-track
Unsound
Author of Proving False in Object Oriented Verification Programs by Exploiting Non-Termination within the Sources of Unsoundness in Verification-track
Share
x
Sun 22 Dec 09:36