![](https://media.springernature.com/w90/springer-static/cover/journal/10009/7/3.jpg?as=webp)
Volume 7, Issue 3
June 2005Special section on formal methods for industrial critical systems
7 articles in this issue
Special section on formal methods for industrial critical systems