Mathieu Giorgino

According to our database, Mathieu Giorgino authored at least 2 papers between 2010 and 2012.

Collaborative distances:

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

2012

Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction.

Mathieu Giorgino, Martin Strecker

Proceedings of the FM 2012: Formal Methods, 2012

2010

Verification of the Schorr-Waite Algorithm - From Trees to Graphs.

Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010