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

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