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

Mathieu Giorgino, Martin Strecker

Browse the full FM paper archive.