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, V.S. Heftet / 1993 / Engelsk
