@inproceedings{inproceedings35251d14,
title   = {Usando invariantes na análise dos requisitos},
author = {Salmon, Arianna Zoila Oliveira and Silva, José Reinaldo},
year = {2012},
publisher = {UFCG},
booktitle   = {Congresso Brasileiro de Automática - CBA}
}