APA (7th ed.) Citation

British Computer Society, Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Canada), Alagar, V. S., Lakshamanan, L. V., & Sadri, F. (1993). 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. Springer-Verlag.

Chicago Style (17th ed.) Citation

British Computer Society, Canada) Workshop on Formal Methods in Databases and Software Engineering (1992 : Montreal, Vangalur S. Alagar, Laks V. Lakshamanan, and Feridon 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. London: Springer-Verlag, 1993.

MLA (9th ed.) Citation

British Computer Society, et al. 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. Springer-Verlag, 1993.