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