Using Software Reuse to Develop a Z Specification Tool
Author:
Bodayla, Roy J., Department of Computer Science, University of Virginia
Bodayla, Roy J., Department of Computer Science, University of Virginia
Advisor:
Knight, John, Department of Computer Science, University of Virginia
Knight, John, Department of Computer Science, University of Virginia
Degree:
BS (Bachelor of Science)
BS (Bachelor of Science)
Notes:
Thesis originally deposited on 2011-12-27 in version 1.28 of Libra. This thesis was migrated to Libra2 on 2016-11-30 15:13:33.
Rights:
All rights reserved (no additional license for public reuse)
All rights reserved (no additional license for public reuse)
Issued Date:
1997/03/31
1997/03/31
