Barreto, A., & 		Rocha, A.
(2005).
 Support to the Software Verification Process Area in Organization-Oriented Software Development Environments.
In <em>Proceedings of the 4th Brazilian Symposium on Software Quality</em>, (pp. 73-86). Porto Alegre: SBC.
doi:10.5753/sbqs.2005.16155