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