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. |
|