Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-1 de um total de 1 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa; Tomb, AaronArtigo em ata de conferênciaAcesso aberto
  • Anterior
  • 1
  • Próxima