autores
- Ana Garis
- A. Paiva
- Cunha, Alcino
- Manuel Alcino Pereira da Cunha
- Daniel Riesco
Specifying UML protocol state machines in Alloy
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos