Percorrer por autor Miraldo, Victor Cacciari Subscrever estatísticas do autor Miraldo, Victor Cacciari
Mostrar 3-4 de um total de 4 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
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 |