Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: Richard A. Morrisett. Vita. Includes bibliographical references.
Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/69250092 |
Date | January 2005 |
Creators | Zhang, Tao, Morrisett, Richard A., |
Source Sets | OCLC |
Language | English |
Detected Language | English |
Page generated in 0.0017 seconds