Journal of Automated Reasoning, Volume 59

Volume 59, Number 1, June 2017

Special Issue: Automatic Resource Bound Analysis
maintained by Schloss Dagstuhl LZI at University of Trier