@inproceedings{inproceedingsb73da316,
title   = {Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes},
author = {Fabbri, S C P F and Delamaro, Márcio Eduardo and Maldonado, José Carlos and Masiero, Paulo Cesar},
year = {1994},
booktitle   = {Simposio Brasileiro de Redes de Computadores}
}