Percorrer por autor Tomb, Aaron Subscrever estatísticas do autor Tomb, Aaron
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2014 | Formal verification of kLIBC with the WP frama-C plug-in | Carvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa, et al. | Artigo em ata de conferência | Acesso aberto |