conference paper · Lecture notes in computer science · 2014

A Coq Formalization of the Relational Data Model

Véronique Benzaken, Évelyne Contejean, Stefania Dumbrava

Cited by 48Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Benzaken, V., Contejean, É., & Dumbrava, S. (2014). A Coq Formalization of the Relational Data Model. Lecture notes in computer science, 189–208. https://doi.org/10.1007/978-3-642-54833-8_11

MLA 9

Benzaken, Véronique, et al. “A Coq Formalization of the Relational Data Model.” Lecture notes in computer science, 2014, pp. 189–208, https://doi.org/10.1007/978-3-642-54833-8_11.

Chicago

Benzaken, Véronique, Évelyne Contejean, and Stefania Dumbrava. 2014. “A Coq Formalization of the Relational Data Model.” Lecture notes in computer science: 189–208. https://doi.org/10.1007/978-3-642-54833-8_11.

Harvard

Benzaken, V., Contejean, É. and Dumbrava, S. (2014) ‘A Coq Formalization of the Relational Data Model’, Lecture notes in computer science, pp. 189–208. Available at: https://doi.org/10.1007/978-3-642-54833-8_11.

BibTeX

@article{benzaken2014formalization,
  title = {{A Coq Formalization of the Relational Data Model}},
  author = {Benzaken, Véronique and Contejean, Évelyne and Dumbrava, Stefania},
  journal = {Lecture notes in computer science},
  pages = {189--208},
  year = {2014},
  doi = {10.1007/978-3-642-54833-8_11}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.