Reflections on the Work of C. A. R. Hoare 2010

a service of Schloss Dagstuhl - Leibniz Center for Informatics