Souza, Marcelo Lopes De Oliveira E

• Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Vol. 1 Núm. 1 (2013): DINCON 2013 - Artigos
  Uma discussão sob o processo de verificação e validação de software crítico e seguro; definição de conceitos, limitações, normas, objetivos e técnicas aplicadas
  Resumen  PDF (Português (Brasil))