Gustavo Cabral

According to our database1, Gustavo Cabral authored at least 2 papers between 2006 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Automated Formal Specification Generation and Refinement from Requirement Documents.
J. Braz. Comput. Soc., 2008

2006
Formal Specification Generation from Requirement Documents.
Proceedings of the Brazilian Symposium on Formal Methods, 2006


  Loading...