Richard Oberdieck

  joint publications with Ioana Nascu

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics