Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. QED at Large: A Survey of Engineering of Formally Verified Software. Foundations and Trends in Programming Languages, 5(2-3):102-281, 2019. [doi]
@article{RingerPSGT19,
title = {QED at Large: A Survey of Engineering of Formally Verified Software},
author = {Talia Ringer and Karl Palmskog and Ilya Sergey and Milos Gligoric and Zachary Tatlock},
year = {2019},
doi = {10.1561/2500000045},
url = {https://doi.org/10.1561/2500000045},
researchr = {https://researchr.org/publication/RingerPSGT19},
cites = {0},
citedby = {0},
journal = {Foundations and Trends in Programming Languages},
volume = {5},
number = {2-3},
pages = {102-281},
}