• Sign in
  • Sign up
conf.researchr.org / Jaymon Furniss
  • SPLASH 2022 profile
No Photo

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
xSun 25 May 08:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up