Thesis (Ph. D.)--Carnegie Mellon University, 2005. / "May 2005." Includes bibliographical references.
Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/61146090 |
Date | January 1900 |
Creators | Seshia, Sanjit A. |
Publisher | Pittsburgh, Pa. : School of Computer Science, Carnegie Mellon University, |
Source Sets | OCLC |
Language | English |
Detected Language | English |
Page generated in 0.0179 seconds