Science of Computer Programming, Volume 163

Volume 163, October 2018

a service of Schloss Dagstuhl - Leibniz Center for Informatics