Formal Methods in Databases and Software Engineering 1992: Montreal, Canada

a service of Schloss Dagstuhl - Leibniz Center for Informatics