Operational Semantics of Object-Oriented Data Models based on Evolving Algebra

Authors: G. Kappel, M. Schrefl
Paper: Kapp91a (1991)
Citation: Workshop on Object-Oriented Formal Methods at ECOOP `91, Geneva, Switzerland, July 1991.
Resources: BibTeX