A Coq Formalization of the Relational Data Model.

Vronique Benzaken, Evelyne Contejean, Stefania Dumbrava

Browse the full ESOP paper archive.