2004
A fully abstract semantics for UML Components
Publication
Publication
Presented at the
International Symposium on Formal Methods for Components and Objects, Leiden
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Formal Methods for Components and Objects | |
Organisation | Computer Security |
de Boer, F., Bonsangue, M., Steffen, M., & Abraham, E. (2004). A fully abstract semantics for UML Components. In Proceedings of Formal Methods for Components and Objects 2004 (2) (pp. 49–69). Springer. |