@inproceedings{inproceedings4f87d294,
title   = {Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri},
author = {Fabbri, S C P F and Maldonado, José Carlos and Masiero, Paulo Cesar and Delamaro, Márcio Eduardo},
year = {1994},
booktitle   = {Simposio Brasileiro de Engenharia de Software}
}