Hyggo O. Almeida, Elthon A. S. Oliveira, Nadia Barbosa, Frederico Bublitz, Leandro Dias da Silva, Angelo Perkusich. Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. In Alexandre Cidral, Olinto José Varela Furtado, editors, Proceedings of the 2nd Brazilian Symposium on Information Systems, SBSI 2005, Florianópolis, Brazil, October 26-28, 2005. pages 272-279, 2005. [doi]
Abstract is missing.