Item Details

Data Types and Aliasing in Program Specification and Verification

Wilson, Joseph
Format
Report
Author
Wilson, Joseph
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1986
Published Date
1986
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online