Formal Specification Generation from Requirement Documents. - Gustavo Cabral; Augusto Sampaio 001 (SBMF, 2006)

Automated Formal Specification Generation and Refinement from Requirement Documents. - Gustavo Cabral; Augusto Sampaio 001 (J. Braz. Comput. Soc., 2008)