FORMLAB: Um Ambiente Integrado de Apoio aos Métodos Formais para o Desenvolvimento de Software

GIMENES, I. M. S. ; da SILVA, S. R. P. ; ITO, S. A. ; HAEBERER, A. M. . FORMLAB: Um Ambiente Integrado de Apoio aos Métodos Formais para o Desenvolvimento de Software. In: I Workshop Ibero-Americano de Engenharia de Requisitos e Ambientes de Software, 1998, Torres - RS. I Workshop Ibero-Americano de Engenharia de Requisitos e Ambientes de Software, 1998. p. 133-144.

1998