DataCert Project: Coq deep specification of privacy aware data integration

logo UPSud and UPSaclay logo UPSaclay

Project ANR -15-CE39-0009

logo ANR