Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.

B. Dölle

Fingerprint

Untersuchen Sie die Forschungsthemen von „Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science