A Tool for Assisting the Understanding and Formal Development of Software

Thumbnail
View/Open
A Tool.pdf (5.708Mb)
No. of downloads: 278

Date
1993-09-15
Author
Abd-El-Hafiz, S.K.
Basili, Victor R.
Citation
V. Basili and S. Abd-El-Hafiz, “A Tool for Assisting the Understanding and Formal Development of Software,” University of Maryland, CS-TR-3136, UMIACS-TR-93-89, October 1993.
Metadata
Show full item record
URI
http://hdl.handle.net/1903/7541
Collections