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}, }