![](https://media.springernature.com/w90/springer-static/cover/journal/10817/51/1.jpg?as=webp)
Volume 51, Issue 1
June 2013Special Issue of Selected Extended Papers of CADE-23
- Issue Editors:
-
- Nikolaj Bjørner,
- Viorica Sofronie-Stokkermans
6 articles in this issue