NDLTD Global ETD Search
New Search
Return to search
A refinement calculus for expressions
No description available.
Links & Downloads
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363162
Tags
005
Specification language
Additional Fields
Identifer
oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:363162
Date
January 1996
Creators
Flynn, Sharon
Publisher
University of Glasgow
Source Sets
Ethos UK
Detected Language
French
Type
Electronic Thesis or Dissertation
Page generated in 0.0017 seconds