Return to search

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

No description available.
Date January 1991
CreatorsHsu, Yung-Kao
PublisherGeorgia Institute of Technology
Source SetsGeorgia Tech Electronic Thesis and Dissertation Archive
Detected LanguageEnglish
Format237 bytes, text/html
RightsAccess restricted to authorized Georgia Tech users only.

Page generated in 0.0015 seconds