Percorrer por assunto Predicate abstraction
Mostrar 1-2 de um total de 2 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Jan-2014 | Experimenting with Predicate Abstraction | Miraldo, Victor Cacciari | Relatório | Acesso aberto |
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 |