Ver registro no DEDALUS
Exportar registro bibliográfico

Validação de especificações formais com a aplicação do critério análise de mutantes (1998)