Science of Computer Programming, Volume 149

Volume 149, December 2017

maintained by Schloss Dagstuhl LZI at University of Trier