Science of Computer Programming, Volume 109

Volume 109, October 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics