Automatic Generation and Checking of Program Specifications
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