Automatically inferring properties of computer programs
Citable URI:
http://hdl.handle.net/1721.1/11051
| Title: | Automatically inferring properties of computer programs |
| Author: | Givan, Robert Lawrence |
| Advisor: | David Allen McAllester. |
| Department: | Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science |
| Publisher: | Massachusetts Institute of Technology |
| Issue Date: | 1996 |
| Description: |
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996. Includes bibliographical references (p. 97-101). |
| URI: | http://hdl.handle.net/1721.1/11051 |
| Keywords: | Electrical Engineering and Computer Science |
Files in this item
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| Preview, non-printable (open to all) | 7.377Mb |
View/ |
Preview, non-printable (open to all) | |
| Full printable version (MIT only) | 7.376Mb |
View/ |
Full printable version (MIT only) |
This item appears in the following Collection(s)
All Items in DSpace@MIT are protected by original copyright, with all rights reserved, unless otherwise indicated.
|
|
Contact
MIT Libraries
|