Online Archive of University of Virginia Scholarship
Using Software Reuse to Develop a Z Specification Tool
480 views
Author
Bodayla, Roy J., Department of Computer Science, University of Virginia
Advisors
Knight, John
, Department of Computer Science
, University of Virginia
Abstract
Degree
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)
Issued Date
1997-03-31
Persistent Link
https://doi.org/10.18130/V3PG70
Suggested Citation
Bodayla, Roy J.. Using Software Reuse to Develop a Z Specification Tool. University of Virginia, Department of Computer Science, BS (Bachelor of Science), 1997-03-31, https://doi.org/10.18130/V3PG70.
Files
This item is restricted to UVA until 2127-03-31.
opens in a new window
