Volume 51, Issue 2
November 2017Special issue: In Memoriam Helmut Veith
- Issue Editors:
-
- Georg Gottlob,
- Thomas A. Henzinger,
- Georg Weissenbacher
7 articles in this issue