@inproceedings{inproceedingsb7ee0a27,
title   = {Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes},
author = {Fabbri, S C P F and Maldonado, José Carlos and Delamaro, Márcio Eduardo and Masiero, Paulo Cesar},
year = {1995},
publisher = {Ufpe},
booktitle   = {Simposio Brasileiro de Engenharia de Software}
}