Volume 37, Issue 2-3
December 2010Special issue on 'FM2009: 2nd World Congress on Formal Methods'
- Issue Editors:
-
- Ana Cavalcanti,
- Dennis R. Dams
6 articles in this issue