Gustavo Cabral

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Gustavo Cabral, Augusto Sampaio: Formal Specification Generation from Requirement Documents. Electr. Notes Theor. Comput. Sci. 195: 171-188 (2008)

	2008
1		Gustavo Cabral, Augusto Sampaio: Formal Specification Generation from Requirement Documents. Electr. Notes Theor. Comput. Sci. 195: 171-188 (2008)

Coauthor Index