@inproceedings{inproceedingsacfee8bf,
title   = {Validação de especificações formais com a aplicação do critério análise de mutantes},
author = {Maldonado, José Carlos and Fabbri, Sandra C P F and Masiero, Paulo Cesar},
year = {1998},
publisher = {Instituto de Informática da UFRGS},
booktitle   = {Workshop Brasileiro de Métodos Formais}
}