Ver registro no DEDALUS
Exportar registro bibliográfico

Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts (1997)