Using specifications to check source code
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/35402 |
| _version_ | 1826189141818212352 |
|---|---|
| author | Evans, David Elliot, 1971- |
| author2 | Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science |
| author_facet | Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Evans, David Elliot, 1971- |
| author_sort | Evans, David Elliot, 1971- |
| collection | MIT |
| description | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. |
| first_indexed | 2024-09-23T08:10:27Z |
| format | Thesis |
| id | mit-1721.1/35402 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T08:10:27Z |
| publishDate | 2007 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/354022019-04-09T17:05:28Z Using specifications to check source code Evans, David Elliot, 1971- Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. Includes bibliographical references (p. 95-96). by David Evans. M.S. 2007-01-10T16:02:15Z 2007-01-10T16:02:15Z 1994 1994 Thesis http://hdl.handle.net/1721.1/35402 31311908 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 96 p. 6929421 bytes 6933399 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Evans, David Elliot, 1971- Using specifications to check source code |
| title | Using specifications to check source code |
| title_full | Using specifications to check source code |
| title_fullStr | Using specifications to check source code |
| title_full_unstemmed | Using specifications to check source code |
| title_short | Using specifications to check source code |
| title_sort | using specifications to check source code |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/35402 |
| work_keys_str_mv | AT evansdavidelliot1971 usingspecificationstochecksourcecode |