![](https://media.springernature.com/w90/springer-static/cover/journal/224/51/3.jpg?as=webp)
Volume 51, Issue 3
October 2012CiE: Programs, Proofs, Processes
- Issue Editors:
-
- Fernando Ferreira,
- Benedikt Löwe,
- ELVIRA MAYORDOMO
8 articles in this issue