Volume 51, Issue 3
October 2012CiE: Programs, Proofs, Processes
- Issue Editors:
-
- Fernando Ferreira,
- Benedikt Löwe,
- ELVIRA MAYORDOMO
8 articles in this issue
CiE: Programs, Proofs, Processes