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

@inproceedings{Sugeta1999PROTEUMR,
  title={PROTEUM - RS/ST: uma ferramenta para apoiar a validaç{\~a}o de especificaç{\~o}es statecharts baseada na an{\'a}lise de mutantes.},
  author={Tatiana Sugeta},
  year={1999}
}