A methodology for refining formal software specification using transformation-based tools

View/Open

hsu_yung-kao_199103_phd_344485.pdf (29.48Mb)

Date

1991

Author

Hsu, Yung-Kao

Metadata

Show full item record

URI

http://hdl.handle.net/1853/8185

Collections

Georgia Tech Theses and Dissertations [22398]
College of Computing Theses and Dissertations [1071]