Return to search

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

No description available.
Identiferoai:union.ndltd.org:GATECH/oai:smartech.gatech.edu:1853/8185
Date January 1991
CreatorsHsu, Yung-Kao
PublisherGeorgia Institute of Technology
Source SetsGeorgia Tech Electronic Thesis and Dissertation Archive
Languageen_US
Detected LanguageEnglish
TypeDissertation
Format237 bytes, text/html
RightsAccess restricted to authorized Georgia Tech users only.

Page generated in 0.0022 seconds