Rodrigo Quites Reis, Carla Alessandra Lima Reis, Daltro José Nunes. APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software. In Cláudia M. L. Werner, editor, Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001. pages 52-67, SBC, 2001. [doi]
@inproceedings{ReisRN01-0,
title = {APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software},
author = {Rodrigo Quites Reis and Carla Alessandra Lima Reis and Daltro José Nunes},
year = {2001},
doi = {10.5753/sbes.2001.23980},
url = {https://doi.org/10.5753/sbes.2001.23980},
researchr = {https://researchr.org/publication/ReisRN01-0},
cites = {0},
citedby = {0},
pages = {52-67},
booktitle = {Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001},
editor = {Cláudia M. L. Werner},
publisher = {SBC},
}