![](https://media.springernature.com/w90/springer-static/cover/journal/10703/41/1.jpg?as=webp)
Volume 41, Issue 1
August 2012Special issue on Computer Aided Verification (CAV '11)
- Issue Editors:
-
- Ganesh L. Gopalakrishnan,
- Shaz Qadeer
8 articles in this issue