DBLP Record 'conf/db-workshops/Ramanathan92'

BibTeX

@inproceedings{DBLP:conf/db-workshops/Ramanathan92,
  author    = {Greetha Ramanathan},
  title     = {A Unified Framework for Database Specification: Functional
               Approach},
  booktitle = {Formal Methods in Databases and Software Engineering},
  year      = {1992},
  pages     = {96-110},
  crossref  = {DBLP:conf/db-workshops/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/db-workshops/1992,
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software
               Engineering, Montreal, Canada, 15-16 May 1992},
  booktitle = {Formal Methods in Databases and Software Engineering},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19812-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}