Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Luciene Marin. A Formal Method Applied to the Automated Software Engineering with Quality Guarantees. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 108-111, IEEE, 2014. [doi]
Abstract is missing.