A Recipe for Modular Verification of Generic Tree Traversals.

Laila Elbeheiry, Michael Sammler, Robbert Krebbers, Derek Dreyer, Deepak Garg

Browse the full CPP paper archive.