Volume 63, Issue 1
September 2011Special Issue: Formal Methods in Aerospace
- Issue Editors:
-
- Manuela Bujorianu,
- Michael Fisher,
- Corina Pasareanu
4 articles in this issue