Verified Validation of Program Slicing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sandrine Blazy' in GoogleThis author has not been identified. Look up 'André Maroneze' in GoogleThis author has not been identified. Look up 'David Pichardie' in Google

runs on WebDSL