Title | A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications |
Publication Type | Journal Article |
Year of Publication | 1982 |
Public | no |
Authors | Drosten, K., M. Gogolla, H. - D. Ehrich, and U. Lipeck |
Journal | Berichte der Abteilung Informatik |
Volume | 144 |
Publisher | Universität Dortmund |
Abstract | no |