![](https://media.springernature.com/w90/springer-static/cover/journal/10703/40/2.jpg?as=webp)
Volume 40, Issue 2
April 2012Special issue on Computer Aided Verification (CAV'10)
- Issue Editor:
-
- Tayssir Touili
8 articles in this issue
Special issue on Computer Aided Verification (CAV'10)