Home › Authors › Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada). 👤 Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada). 1 book Books by Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada). Formal methods in databases and software engineering 1993