Erwan Mottin

According to our database, Erwan Mottin authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Applying a Formal Method in Industry: A 25-Year Trajectory.

Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017