Volume 58, issue 3, March 2017

Special Issue: Selected Extended Papers of CADE 2015

Issue editors
  • Amy Felty
  • Aart Middeldorp

5 articles in this issue