Journal of Automated Reasoning, Volume 59

Volume 59, Number 1, June 2017

Special Issue: Automatic Resource Bound Analysis

Volume 59, Number 2, August 2017

Volume 59, Number 3, October 2017

maintained by Schloss Dagstuhl LZI at University of Trier