A Tool for Assisting the Understanding and Formal Development of Software

Thumbnail Image

Files

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

Publication or External Link

Date

1993-09-15

Authors

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

Abstract

Notes

URI (handle)

http://hdl.handle.net/1903/7541

Rights

Collections

Computer Science Research Works