Página de Busca




Filtros correntes:



Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

Resultado 1-2 de 2.
  • Anterior
  • 1
  • Próximo
Conjunto de itens:
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
4-Fev-2011HERBERT OLIVEIRA ROCHA.pdf.jpgVerificação e comprovação de erros em códigos C usando bounded model checkerRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
3-Jul-2015Tese - Herbert Oliveira Rocha.pdf.jpgVerificação de sistemas de software baseada em transformações de código usando Bounded Model CheckingRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese

Busca facetada