2008
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
Publication
Publication
Presented at the
International Conference on Quality Software, Oxford
Additional Metadata | |
---|---|
IEEE Computer Society | |
Coordination With Performance Guarantees | |
International Conference on Quality Software | |
Organisation | Computer Security |
Sun, M., & Barbosa, L. S. (2008). A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. In Proceedings of the 8th International Conference on Quality Software, QSIC'08 (pp. 17–26). IEEE Computer Society. |