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

https://hdl.handle.net/1721.1/149954