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

Volume 59, Number 4, December 2017

maintained by Schloss Dagstuhl LZI at University of Trier