Proofs in conflict-driven theory combination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar. Proofs in conflict-driven theory combination. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 186-200, ACM, 2018. [doi]

This author has not been identified. Look up 'Maria Paola Bonacina' in GoogleThis author has not been identified. Look up 'Stéphane Graham-Lengrand' in GoogleThis author has not been identified. Look up 'Natarajan Shankar' in Google

runs on WebDSL