Sandrine Blazy, André Maroneze, David Pichardie: Verified Validation of Program Slicing. CPP 2015: 109-117