Registered user since Wed 6 Jan 2016

Name: Steve Anton

Affiliation: University of Washington

Contributions

CPP 2016Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track