Especificação Formal de Instâncias Excepcionais

Ana Paula Ambrósio, Décio Fonseca. Especificação Formal de Instâncias Excepcionais. In Paulo César Masiero, Antonio C. Lirani, Marcos R. S. Borges, Tadao Takahashi, editors, Proceedings of the 4th Brazilian Symposium on Software Engineering, SBES 1990, Águas de São Pedro, SP, Brazil, October 24-26, 1990. pages 44-57, SBC, 1990. [doi]

Abstract

Abstract is missing.