Data Types and Aliasing in Program Specification and Verification

Report
Author:Wilson, Joseph, Department of Computer ScienceUniversity of Virginia
Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Wilson, Joseph. "Data Types and Aliasing in Program Specification and Verification." University of Virginia Dept. of Computer Science Tech Report (1986).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
1986