@inproceedings{Woos_2016,
    doi = {10.1145/2854065.2854081},
    url = {https://doi.org/10.1145%2F2854065.2854081},
    year = {2016},
    month = {jan},
    publisher = {{ACM}},
    author = {Doug Woos and James R. Wilcox and Steve Anton and Zachary Tatlock and Michael D. Ernst and Thomas Anderson},
    title = {Planning for change in a formal verification of the raft consensus protocol},
    booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs}
}

@inproceedings{Woos_2016, doi = {10.1145/2854065.2854081}, url = {https://doi.org/10.1145%2F2854065.2854081}, year = {2016}, month = {jan}, publisher = {{ACM}}, author = {Doug Woos and James R. Wilcox and Steve Anton and Zachary Tatlock and Michael D. Ernst and Thomas Anderson}, title = {Planning for change in a formal verification of the raft consensus protocol}, booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs} }