Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.

B. Dölle

Fingerprint

Dive into the research topics of 'Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.'. Together they form a unique fingerprint.

Engineering & Materials Science