Gustavo Cabral

Publication Activity (10 Years)

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

Publications

Gustavo Cabral, Augusto Sampaio
Formal Specification Generation from Requirement Documents. Electron. Notes Theor. Comput. Sci. 195 (2008)
Gustavo Cabral, Augusto Sampaio
Automated Formal Specification Generation and Refinement from Requirement Documents. J. Braz. Comput. Soc. 14 (1) (2008)