Volume 62, Issue 2
February 2019Special Issue: Selected Extended Papers of ITP 2016
- Issue Editors:
-
- Jasmin Christian Blanchette,
- Stephan Merz
7 articles in this issue