Percorrer por autor Machado, Nuno Subscrever estatísticas do autor Machado, Nuno
Mostrar 6-6 de um total de 6 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2020 | Testing for race conditions in distributed systems via smt solving | Pereira, João Carlos; Machado, Nuno; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |