Item Details

Print View

Data Types and Aliasing in Program Specification and Verification

Wilson, Joseph
Format
Report
Author
Wilson, Joseph
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 1986
Published Date
1986
Rights
All rights reserved (no additional license for public reuse)
Collection
Libra Open Repository

Availability

Access Online