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 - Alagar, Vangalur S. 1940-.; Lakshamanan, Laks V. 1959-.; Sadri, Feridon; British Computer Society; Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Canada). (London Springer-Verlag, 1993)
"Published in collaboration with: British Computer Society."
Keywords: Database management -- Congresses; Software engineering -- Congresses