A methodology for refining formal software specification using transformation-based tools
Loading...
Author(s)
Hsu, Yung-Kao
Advisor(s)
Editor(s)
Collections
Supplementary to:
Permanent Link
Abstract
Sponsor
Date
1991
Extent
237 bytes
Resource Type
Text
Resource Subtype
Dissertation
Rights Statement
Access restricted to authorized Georgia Tech users only.