Sandrine Blazy, André Maroneze, David Pichardie. Verified Validation of Program Slicing. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 109-117, ACM, 2015. [doi]