Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
Ana Cristina Vieira de Melo Anamaria M Moreira; Workshop on Formal Methods - WFM (2. 1999 Florianópolis, BR)
Florianópolis s.n. 1999
Localização: IME - Inst. Matemática e Estatística (PROD-2939714 )(Acessar)