Toggle navigation
Login
Toggle navigation
View Item
SMARTech Home
Georgia Tech Theses and Dissertations
Georgia Tech Theses and Dissertations
View Item
SMARTech Home
Georgia Tech Theses and Dissertations
Georgia Tech Theses and Dissertations
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
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]
Search SMARTech
This Collection
Browse
All of SMARTech
Communities & Collections
Dates
Authors
Titles
Subjects
Types
This Collection
Dates
Authors
Titles
Subjects
Types
My SMARTech
Login
Statistics
View Usage Statistics
View Google Analytics Statistics