A Tool for Assisting the Understanding and Formal Development of Software

Loading...
Thumbnail Image

Files

A Tool.pdf (5.71 MB)
No. of downloads: 286

Publication or External Link

Date

1993-09-15

Advisor

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.

DRUM DOI