![](https://media.springernature.com/w110h61/springer-static/image/art%3A10.1007%2Fs10703-016-0256-5/MediaObjects/10703_2016_256_Fig1_HTML.gif?as=webp)
![](https://media.springernature.com/w90/springer-static/cover/journal/10703/50/2.jpg?as=webp)
Volume 50, Issue 2-3
June 2017Special issue on CAV 2015
- Issue Editor:
-
- Corina Pasareanu
7 articles in this issue
Special issue on CAV 2015