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]
Abstract is missing.