Automatic Generation and Checking of Program Specifications

Author(s)
Nimmer, Jeremy W.; Ernst, Michael D.
Thumbnail
DownloadMIT-LCS-TR-823.pdf (359.0Kb)
Metadata
Show full item record
URI
https://hdl.handle.net/1721.1/149926
Series/Report no.
MIT-LCS-TR-823
Collections