@article{ringer-2019-qed, title={QED at Large: A Survey of Engineering of Formally Verified Software}, volume={5}, ISSN={2325-1131}, url={http://dx.doi.org/10.1561/2500000045}, DOI={10.1561/2500000045}, number={2-3}, journal={Foundations and Trends® in Programming Languages}, publisher={Emerald}, author={Ringer, Talia and Palmskog, Karl and Sergey, Ilya and Gligoric, Milos and Tatlock, Zachary}, year={2019}, month=Sept, pages={102–281} }