"Formal Methods and Software Engineering, 6th International Conference on ..."

Jim Davies, Wolfram Schulte, Michael Barnett (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics