Gustavo Cabral

According to our database1, Gustavo Cabral authored at least 2 papers in 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Formal Specification Generation from Requirement Documents.
Electron. Notes Theor. Comput. Sci., 2008


  Loading...