Science of Computer Programming, Volume 162

Volume 162, September 2018

Special Issue on TASE 2016
maintained by Schloss Dagstuhl LZI, founded at University of Trier