A Formal Method Applied to the Automated Software Engineering with Quality Guarantees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcelo Teixeira' in GoogleThis author has not been identified. Look up 'Richardson Ribeiro' in GoogleThis author has not been identified. Look up 'Marco A. C. Barbosa' in GoogleThis author has not been identified. Look up 'Luciene Marin' in Google

runs on WebDSL