"On automatic verification of SLIDE descriptions" by John J. Wallace

Skip to main content

Department of Electrical and Computer Engineering

Authors

John J. Wallace, Carnegie Mellon University

Title

On automatic verification of SLIDE descriptions

Date of Original Version

1979

Type

Technical Report

COinS