Linking Specification, Abstraction, and Debugging

The full paper is not available in postscript or pdf, because the report is superseded by the following publication.

Back to the list of Technical Reports.