%0 Thesis %1 phd/us/Ringer21 %A Ringer, Talia %D 2021 %K dblp %T Proof Repair.

@phdthesis{phd/us/Ringer21, added-at = {2022-05-04T00:00:00.000+0200}, author = {Ringer, Talia}, biburl = {https://www.bibsonomy.org/bibtex/249278489a9e7a430a786356fbccf1d85/dblp}, ee = {https://hdl.handle.net/1773/47429}, interhash = {1d2291ee1aee495d8ea5088481e1a9fd}, intrahash = {49278489a9e7a430a786356fbccf1d85}, keywords = {dblp}, school = {University of Washington, USA}, timestamp = {2024-04-09T08:02:21.000+0200}, title = {Proof Repair.}, year = 2021 }