Skip to main content
Log in
(current)
MIT Open Scholarship
DSpace@MIT
Search
Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
LCS Technical Reports (1974 - 2003)
Automatic Generation and Checking of Program Specifications
Automatic Generation and Checking of Program Specifications
Download
Name
MIT-LCS-TR-823.pdf
Size
359.09 KB
Format
Adobe PDF
Checksum
(MD5)
d0efad518f837983c0d8e0cc90caee35
Author(s)
Nimmer, Jeremy W.
•
Ernst, Michael D.
Series/Report no.
MIT-LCS-TR-823
Persistent DSpace Link
https://hdl.handle.net/1721.1/149926
