DBLP Record 'conf/vldb/BaldisseraCPB79'

BibTeX

@inproceedings{DBLP:conf/vldb/BaldisseraCPB79,
  author    = {C. Baldissera and
               Stefano Ceri and
               Giuseppe Pelagatti and
               Giampio Bracchi},
  title     = {Interactive Specification and Formal Verification of User's
               Views in Data Bases Design},
  booktitle = {VLDB},
  year      = {1979},
  pages     = {262-272},
  ee        = {db/conf/vldb/BaldisseraCPB79.html},
  crossref  = {DBLP:conf/vldb/79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vldb/79,
  editor    = {Antonio L. Furtado and
               Howard L. Morgan},
  title     = {Fifth International Conference on Very Large Data Bases,
               October 3-5, 1979, Rio de Janeiro, Brazil, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1979},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}