Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

Conference Paper

J.E. Santo

M.J. Frade

L. Pinto

Publication

Year of publication: 2018

Volume: 97

Identifiers

Other: 2-s2.0-85057013371

Locators

URL: https://doi.org/10.4230/LIPICS.TYPES.2016.10

DOI: 10.4230/LIPICS.TYPES.2016.10

Alternative Titles