A Coq formalization of data provenance.

Vronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rbecca Zucchini

Browse the full CPP paper archive.