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

Vangalur S. Alagar Laks V. S. Lakshmanan Fereidoon Sadri 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 Formal Methods in Databases and Software Engineering Workshops in Computing Springer 1993 3-540-19812-1 db/conf/db-workshops/fmdbse1992.html