BibTeX record conf/vldb/BaldisseraCPB79

download as .bib file

@inproceedings{DBLP:conf/vldb/BaldisseraCPB79,
  author    = {C. Baldissera and
               Stefano Ceri and
               Giuseppe Pelagatti and
               Giampio Bracchi},
  editor    = {Antonio L. Furtado and
               Howard L. Morgan},
  title     = {Interactive Specification and Formal Verification of User's Views
               in Data Bases Design},
  booktitle = {Fifth International Conference on Very Large Data Bases, October 3-5,
               1979, Rio de Janeiro, Brazil, Proceedings},
  pages     = {262--272},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {https://dblp.org/rec/conf/vldb/BaldisseraCPB79.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics