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. Proceedings of Formal Methods for Components and Objects 2004 (2), 49–69. |
|