Science of Computer Programming, Volume 183

Volume 183, September 2019

a service of Schloss Dagstuhl - Leibniz Center for Informatics