![](https://media.springernature.com/w90/springer-static/cover/journal/10009/9/1.jpg?as=webp)
Volume 9, Issue 1
February 2007Special Section on Advances in Automated Verification of Critical Systems
8 articles in this issue
Special Section on Advances in Automated Verification of Critical Systems