Elisabete M. B. de la Quintana

Publication Activity (10 Years)

Years Active: 1989-1989
Publications (10 Years): 0

Publications

Raul César B. Martins, Gustavo de O. Annarumma, Luiza Maria F. Carneiro, Arnaldo Hilário Viegas de Lima, Paschoal Molinari No., Elisabete M. B. de la Quintana, Ronaldo Stern
Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. SBES (1989)