![](https://media.springernature.com/w90/springer-static/cover/journal/10703/41/3.jpg?as=webp)
Volume 41, Issue 3
December 2012Special isue on 'Runtime Verification'
- Issue Editors:
-
- Oleg Sokolsky,
- Grigore Rosu
5 articles in this issue
Special isue on 'Runtime Verification'