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]
No references recorded for this publication.
No citations of this publication recorded.