![](https://media.springernature.com/w90/springer-static/cover/journal/236/55/8.jpg?as=webp)
Volume 55, Issue 8
December 2018Special issue: The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)
- Issue Editors:
-
- Bernd Finkbeiner,
- Geguang Pu,
- Lijun Zhang
5 articles in this issue