Steve Anton

According to our database, Steve Anton authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Planning for change in a formal verification of the raft consensus protocol.

Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016