Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steve Anton
conf.researchr.org general profile
POPL 2016 profile
Registered user since Wed 6 Jan 2016
Name:
Steve Anton
Affiliation:
University of Washington
Contributions
2016
CPP
Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
Share
x
Thu 21 Nov 19:24