Buscas alternativas:
program specification » program verification (Expandir a busca), from specification (Expandir a busca), program qualification (Expandir a busca)
program specification » program verification (Expandir a busca), from specification (Expandir a busca), program qualification (Expandir a busca)
1
Assuntos:
“...Program specification...”
Geração de propriedades sobre programas Java a partir de objetivos de teste
Tese