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.0018 seconds