![](https://media.springernature.com/w90/springer-static/cover/journal/10817/58/3.jpg?as=webp)
Volume 58, Issue 3
March 2017Special Issue: Selected Extended Papers of CADE 2015
- Issue Editors:
-
- Amy Felty,
- Aart Middeldorp
5 articles in this issue