Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: program synthesis; relational specification; Alloy. Includes bibliographical references (leaves 64-66).
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/609420732 |
| Date | January 2008 |
| Creators | Yoo, Daniel. |
| Publisher | Worcester, Mass. : Worcester Polytechnic Institute, |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | Link to electronic thesis |
Page generated in 0.0019 seconds