dblp.uni-trier.de www.uni-trier.de

Formal Methods in Databases and Software Engineering 1992: Montreal, Canada

Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri (Eds.): 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. Workshops in Computing Springer 1993, ISBN 3-540-19812-1 BibTeX
@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}
}

Copyright © Sat May 16 23:06:10 2009 by Michael Ley (ley@uni-trier.de)