A Formal Method Applied to the Automated Software Engineering with Quality Guarantees.

Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Luciene Marin

Browse the full ISSRE paper archive.