Science of Computer Programming, Volume 114

Volume 114, December 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics