@inproceedings{inproceedingsecd7a8c9,
title   = {Validação de especificações de sistemas reativos: definição e análise de critérios de teste},
author = {Souza, Simone do Rocio Senger de and Maldonado, José Carlos},
year = {2001},
booktitle   = {Congresso da Sociedade Brasileira de Computação}
}