Ver registro no DEDALUS
Exportar registro bibliográfico

Proteum-RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes (1999)