1
Assuntos:
“...Oráculo dos Testes - Software...”
Uma técnica para verificar não conformidades em programas especificados com contratos.
Dissertação