Author(s):
Campos, J. Creissac
Date: 2004
Persistent ID: http://hdl.handle.net/1822/684
Origin: RepositóriUM - Universidade do Minho
Subject(s): Usabilidade; Verificação de modelos; Model checking
Author(s):
Campos, J. Creissac
Date: 2004
Persistent ID: http://hdl.handle.net/1822/684
Origin: RepositóriUM - Universidade do Minho
Subject(s): Usabilidade; Verificação de modelos; Model checking
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||