Automatic Generation and Checking of Program Specifications
Name
MIT-LCS-TR-852.pdf
Size
666.66 KB
Format
Adobe PDF
Checksum (MD5)
95c125f3505c1ef497237133b428b819
Author(s)
Nimmer, Jeremy
Date Issued
June 2002
Series/Report no.
MIT-LCS-TR-852
Persistent DSpace Link