Journal of Computer and System Sciences, Volume 88

Volume 88, September 2017

SPECIAL SECTION ON WoLLIC 2013 Regular Papers
maintained by Schloss Dagstuhl LZI at University of Trier