![](https://media.springernature.com/w90/springer-static/cover/journal/10703/39/3.jpg?as=webp)
Volume 39, Issue 3
December 2011Special issue on Computer-Aided Verification (CAV'09)
- Issue Editors:
-
- Oded Maler,
- Ahmed Bouajjani
4 articles in this issue