Science of Computer Programming, Volume 79

Volume 79, January 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics