Mostrar 1-4 de um total de 4 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 |
Jan-2014 | SABS : Spark ABStraction - A Tutorial | Miraldo, Victor Cacciari | Relatório | Acesso aberto |
2013 | SPARK-BMC: checking SPARK code for bugs | Lourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al. | Resumo em ata de conferência | Acesso aberto |