Georg Struth

  joint publications with C. A. R. Hoare

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics