%0 Thesis %1 phd/us/Yang01 %A Yang, Zhe %D 2001 %K dblp %T Language Support for Program Generation Reasoning, Implementation, and Applications.

@phdthesis{phd/us/Yang01, added-at = {2022-05-09T00:00:00.000+0200}, author = {Yang, Zhe}, biburl = {https://www.bibsonomy.org/bibtex/2d4a0f64fc86d70711d73797ec245576a/dblp}, ee = {https://cs.nyu.edu/media/publications/yang_zhe.pdf}, interhash = {44f555bbde7448ecbd6429556b8ccefd}, intrahash = {d4a0f64fc86d70711d73797ec245576a}, keywords = {dblp}, school = {New York University, USA}, timestamp = {2024-04-09T08:03:10.000+0200}, title = {Language Support for Program Generation Reasoning, Implementation, and Applications.}, year = 2001 }