Verified Validation of Program Slicing.

Sandrine Blazy, Andr Maroneze, David Pichardie

Browse the full CPP paper archive.