"TOOLS Europe 1999: 29th International Conference on Technology of ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics