Volume 39, Issue 3
December 2011Special issue on Computer-Aided Verification (CAV'09)
- Issue Editors:
-
- Oded Maler,
- Ahmed Bouajjani
4 articles in this issue