Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2012An approach to model checking Ada programsFaria, José Miguel; Martins, J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir