Science of Computer Programming, Volume 117

Volume 117, February 2016

maintained by Schloss Dagstuhl LZI, founded at University of Trier