Volume 41, Issue 1
August 2012Special issue on Computer Aided Verification (CAV '11)
- Issue Editors:
-
- Ganesh L. Gopalakrishnan,
- Shaz Qadeer
8 articles in this issue