@inproceedings{inproceedingsfc09b5e1, title = {Teste e validação de sistemas reativos}, author = {San'Ana, D A and Maldonado, José Carlos and Fabri, S C P F}, year = {1998}, publisher = {USP}, booktitle = {Simpósio de Iniciação Científica da Universidade de São Paulo} }