Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2018/09.17.12.46.47-0:en:title:2:software xmits inspections formal:xmits software inspections via formal verification:>.
1 referência encontrada buscando em 14 dentre 15 sites.
Eventualmente nem todas as referências esperadas puderam ser exibidas porque o acesso a pelo menos um site falhou.
Data e hora local de busca: 01/12/2020 08:51.
XMITS: software inspections via formal verification
Santos, L. B. R.; Sales, C. P.; Santiago Júnior, V. A.

Artigo em Evento - sem Qualis - 2018 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00