Home›Books›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).No biography available.No works found.