Andrea Barreto and Ana Regina Rocha. 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>, June 06, 2005, Porto Alegre-RS, Brasil. SBC, Porto Alegre, Brasil, 73-86. DOI: <a href="https://doi.org/10.5753/sbqs.2005.16155">https://doi.org/10.5753/sbqs.2005.16155</a>.