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

Chris George, Huaikou Miao (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics