Volume 54, Issue 8
December 2017Special issue: The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
- Issue Editors:
-
- Christel Baier,
- Cesare Tinelli
4 articles in this issue