Luciene Marin

According to our database, Luciene Marin authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

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

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

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014