A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
- Cubo, J.
- Salaün, G.
- Canal, C.
- Pimentel, E.
- Poizat, P.
ISSN: 1571-0661
Ano de publicación: 2008
Volume: 215
Número: C
Páxinas: 39-55
Tipo: Artigo
ISSN: 1571-0661
Ano de publicación: 2008
Volume: 215
Número: C
Páxinas: 39-55
Tipo: Artigo