A Coq formalization of data provenance - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Véronique Benzaken, Sarah Cohen Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini. A Coq formalization of data provenance. In Catalin Hritcu, Andrei Popescu 0001, editors, CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021. pages 152-162, ACM, 2021. [doi]

This author has not been identified. Look up 'Véronique Benzaken' in GoogleThis author has not been identified. Look up 'Sarah Cohen Boulakia' in GoogleThis author has not been identified. Look up 'Evelyne Contejean' in GoogleThis author has not been identified. Look up 'Chantal Keller' in GoogleThis author has not been identified. Look up 'Rébecca Zucchini' in Google

runs on WebDSL