Barreto, Andrea, and Ana Regina Cavalcanti da Rocha.
" Support to the Software Verification Process Area in Organization-Oriented Software Development Environments." <em>Proceedings of the 4th Brazilian Symposium on Software Quality,
Porto Alegre-RS, 2005</em>. SBC, 2005,  
pp.73-86.