Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Heath
conf.researchr.org general profile
ETAPS 2019 profile
Registered user since Mon 18 Mar 2019
Name:
David Heath
Contributions
2019
PERR
Author of Relational Verification via Invariant-Guided Synchronization within the PERR-track
Share
x
Fri 19 Apr 23:37