@article{ringer_qed_2019,
	title = {{QED} at {Large}: {A} {Survey} of {Engineering} of {Formally} {Verified} {Software}},
	volume = {5},
	issn = {2325-1107},
	url = {http://dx.doi.org/10.1561/2500000045},
	doi = {10/gf7hnh},
	number = {2-3},
	journal = {Foundations and Trends® in Programming Languages},
	author = {Ringer, Talia and Palmskog, Karl and Sergey, Ilya and Gligoric, Milos and Tatlock, Zachary},
	month = sep,
	year = {2019},
	note = {ZSCC: 0000000},
	pages = {102--281}
}

{"_id":"JGWFwLmvFFKvbdGEv","bibbaseid":"ringer-palmskog-sergey-gligoric-tatlock-qedatlargeasurveyofengineeringofformallyverifiedsoftware-2019","authorIDs":[],"author_short":["Ringer, T.","Palmskog, K.","Sergey, I.","Gligoric, M.","Tatlock, Z."],"bibdata":{"bibtype":"article","type":"article","title":"QED at Large: A Survey of Engineering of Formally Verified Software","volume":"5","issn":"2325-1107","url":"http://dx.doi.org/10.1561/2500000045","doi":"10/gf7hnh","number":"2-3","journal":"Foundations and Trends® in Programming Languages","author":[{"propositions":[],"lastnames":["Ringer"],"firstnames":["Talia"],"suffixes":[]},{"propositions":[],"lastnames":["Palmskog"],"firstnames":["Karl"],"suffixes":[]},{"propositions":[],"lastnames":["Sergey"],"firstnames":["Ilya"],"suffixes":[]},{"propositions":[],"lastnames":["Gligoric"],"firstnames":["Milos"],"suffixes":[]},{"propositions":[],"lastnames":["Tatlock"],"firstnames":["Zachary"],"suffixes":[]}],"month":"September","year":"2019","note":"ZSCC: 0000000","pages":"102–281","bibtex":"@article{ringer_qed_2019,\n\ttitle = {{QED} at {Large}: {A} {Survey} of {Engineering} of {Formally} {Verified} {Software}},\n\tvolume = {5},\n\tissn = {2325-1107},\n\turl = {http://dx.doi.org/10.1561/2500000045},\n\tdoi = {10/gf7hnh},\n\tnumber = {2-3},\n\tjournal = {Foundations and Trends® in Programming Languages},\n\tauthor = {Ringer, Talia and Palmskog, Karl and Sergey, Ilya and Gligoric, Milos and Tatlock, Zachary},\n\tmonth = sep,\n\tyear = {2019},\n\tnote = {ZSCC: 0000000},\n\tpages = {102--281}\n}\n\n","author_short":["Ringer, T.","Palmskog, K.","Sergey, I.","Gligoric, M.","Tatlock, Z."],"key":"ringer_qed_2019","id":"ringer_qed_2019","bibbaseid":"ringer-palmskog-sergey-gligoric-tatlock-qedatlargeasurveyofengineeringofformallyverifiedsoftware-2019","role":"author","urls":{"Paper":"http://dx.doi.org/10.1561/2500000045"},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.539Z","downloads":0,"keywords":[],"search_terms":["qed","large","survey","engineering","formally","verified","software","ringer","palmskog","sergey","gligoric","tatlock"],"title":"QED at Large: A Survey of Engineering of Formally Verified Software","year":2019,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}