%0 Journal Article %1 journals/corr/abs-2003-06458 %A Ringer, Talia %A Palmskog, Karl %A Sergey, Ilya %A Gligoric, Milos %A Tatlock, Zachary %D 2020 %J CoRR %K dblp %T QED at Large: A Survey of Engineering of Formally Verified Software. %U http://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-06458 %V abs/2003.06458

@article{journals/corr/abs-2003-06458, added-at = {2023-06-07T00:00:00.000+0200}, author = {Ringer, Talia and Palmskog, Karl and Sergey, Ilya and Gligoric, Milos and Tatlock, Zachary}, biburl = {https://www.bibsonomy.org/bibtex/231bf0f66b52cc2e7cacd6dc9943f7b74/dblp}, ee = {https://arxiv.org/abs/2003.06458}, interhash = {fe35a483ba6c99fcb0c53f7085886897}, intrahash = {31bf0f66b52cc2e7cacd6dc9943f7b74}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:55:48.000+0200}, title = {QED at Large: A Survey of Engineering of Formally Verified Software.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-06458}, volume = {abs/2003.06458}, year = 2020 }