Raul César B. Martins

Publication Activity (10 Years)

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

Publications

Arnaldo Hilário Viegas de Lima, Raul César B. Martins, Ronaldo Stern, Luiza Maria F. Carneiro
GARDEN - An Integrated and Evolving Environment for ULSI/VLSI CAD Applications. IBM Syst. J. 28 (4) (1989)
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)