@article{Ringer_2019,
    doi = {10.1561/2500000045},
    url = {https://doi.org/10.1561%2F2500000045},
    year = {2019},
    publisher = {Now Publishers},
    volume = {5},
    number = {2-3},
    pages = {102--281},
    author = {Talia Ringer and Karl Palmskog and Ilya Sergey and Milos Gligoric and Zachary Tatlock},
    title = {{QED} at Large: A Survey of Engineering of Formally Verified Software},
    journal = {Foundations and Trends{\textregistered} in Programming Languages}
}

@article{Ringer_2019, doi = {10.1561/2500000045}, url = {https://doi.org/10.1561%2F2500000045}, year = {2019}, publisher = {Now Publishers}, volume = {5}, number = {2-3}, pages = {102--281}, author = {Talia Ringer and Karl Palmskog and Ilya Sergey and Milos Gligoric and Zachary Tatlock}, title = {{QED} at Large: A Survey of Engineering of Formally Verified Software}, journal = {Foundations and Trends{\textregistered} in Programming Languages} }