Percorrer por assunto Software model checking
Mostrar 1-1 de um total de 1 resultados.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2013 | Experimenting with predicate abstraction | Miraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al. | Resumo em ata de conferência | Acesso aberto |