Fernando Luís Dotti, Luciana Foss, Leila Ribeiro 0001, Osmar Marchi dos Santos. Especificação e Verificação Formal de Sistemas Distribuídos. In Guilherme Horta Travassos, Altigran Soares da Silva, editors, Proceedings of the 17th Brazilian Symposium on Software Engineering, SBES 2003, Manaus, AM, Brazil, October 8-10, 2003. pages 221-236, SBC, 2003. [doi]
Abstract is missing.