15th IFM 2019: Bergen, Norway

Invited Talk

Regular Papers

Short Papers

Journal-First Extended Abstracts

a service of Schloss Dagstuhl - Leibniz Center for Informatics