Cirney Carneiro, Rodrigo Quites Reis, Paulo Blauth Menezes. Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus. In Murilo S. de Camargo, Daltro José Nunes, editors, Proceedings of the 13th Brazilian Symposium on Software Engineering, SBES 1999, Florianópolis, SC, Brazil, October 13-15, 1999. pages 78-93, SBC, 1999. [doi]
Abstract is missing.