Zachary Tatlock. Reducing the Costs of Proof Assistant Based Formal Verification or : Conviction without the Burden of Proof. PhD thesis, University of California, San Diego, USA, 2014. [doi]
@phdthesis{us-2897, title = {Reducing the Costs of Proof Assistant Based Formal Verification or : Conviction without the Burden of Proof}, author = {Zachary Tatlock}, year = {2014}, url = {https://www.escholarship.org/uc/item/71w697n7}, researchr = {https://researchr.org/publication/us-2897}, cites = {0}, citedby = {0}, school = {University of California, San Diego, USA}, }