Science of Computer Programming, Volume 88

Volume 88, August 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics