Jade Alglave

  joint publications with Alan S. Stern

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics