Raul César B. Martins

According to our database1, Raul César B. Martins authored at least 2 papers in 1989.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1989
GARDEN - An Integrated and Evolving Environment for ULSI/VLSI CAD Applications.
IBM Syst. J., 1989

Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN.
Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989


  Loading...