TY  - RPRT
TI  - QED at Large: A Survey of Engineering of Formally Verified Software
AU  - Talia Ringer
AU  - Karl Palmskog
AU  - Ilya Sergey
AU  - Milos Gligoric
AU  - Zachary Tatlock
PY  - 2020
DO  - 10.1561/2500000045
UR  - https://arxiv.org/abs/2003.06458
ID  - 2003.06458
ER  -