A coalgebraic semantic framework for component-based development in UML

Sun Meng, Bernhard Aichernig, Luis S. Barbosa, Zhang Naixiao

Research output: Contribution to journalArticle

Search results

  • Active

    Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area