M. Giorgino

Inductive representation, proofs and refinement of pointer structures

M. Giorgino, 2013 .

Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction

Martin Strecker, Mathieu Giorgino, M. Strecker, 2012, FM.

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

Ralph Matthes, Martin Strecker, Marc Pantel, 2010, LOPSTR.

BDDs verified in a proof assistant ( Preliminary report )

Martin Strecker, Mathieu Giorgino, M. Strecker, 2010 .