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