DataCert Project: publications
International journals
International conferences
Software
Home page
Working with us
Funding
International Journals
International Conferences
V. Benzaken , E. Contejean and S. Dumbrava
:
A Coq Formalization of the Relational Data Model
in
23rd European Symposium on Programming
ESOP Grenoble 2014
Software