Registered user since Wed 6 Jan 2016
Name:Steve Anton
Affiliation:University of Washington
Contributions
CPP 2016 | Planning for Change in a Formal Verification of the Raft Consensus Protocol | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile