A coalgebraic semantic framework for reasoning about UML sequence diagrams Artigo de Conferência uri icon

autores

  • Meng, S
  • Barbosa, L.S.

data de publicação

  • janeiro 1, 2008