LCS Publication Details
Publication Title: Automatic Generation and Checking of Program Specifications
Publication Author: Nimmer, Jeremy
Additional Authors:
LCS Document Number: MIT-LCS-TR-852
Publication Date: 6-10-2002
LCS Group: Program Analysis
Additional URL:
Abstract:
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.