%0 Thesis %1 phd/basesearch/Snyder11 %A Snyder, Mark %D 2011 %K %T Type Directed Specification Refinement.

@phdthesis{phd/basesearch/Snyder11, added-at = {2023-12-13T03:13:41.000+0100}, author = {Snyder, Mark}, biburl = {https://www.bibsonomy.org/bibtex/276c389e7b6f12ad7e8784241686704cb/admin}, ee = {https://www.base-search.net/Record/4463108ab2ef3c67ff884a2548f2d87ba6bfec3f3e535786dfb07928858b4646}, interhash = {88e3325b9642a8498e63a7bbee65ca4d}, intrahash = {76c389e7b6f12ad7e8784241686704cb}, keywords = {}, note = {base-search.net (ftunivkansas:oai:kuscholarworks.ku.edu:1808/8184)}, school = {University of Kansas, USA}, timestamp = {2023-12-13T03:13:41.000+0100}, title = {Type Directed Specification Refinement.}, year = 2011 }