Volume 47, Issue 1
August 2015Special issue on CAV 2013
- Issue Editors:
-
- Natasha Sharygina,
- Helmut Veith,
- Ahmed Bouajjani,
- Igor Konnov
6 articles in this issue