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
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.ArtigoAcesso aberto
1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir