![](https://www.pdfsearch.io/img/638db026e1f4c96f10f3d9174472b425.jpg) Date: 2014-01-18 04:31:20
| | A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1Add to Reading ListSource URL: www.lri.frDownload Document from Source Website File Size: 428,52 KBShare Document on Facebook
|