![](https://media.springernature.com/w90/springer-static/cover/journal/10472/63/1.jpg?as=webp)
Volume 63, Issue 1
September 2011Special Issue: Formal Methods in Aerospace
- Issue Editors:
-
- Manuela Bujorianu,
- Michael Fisher,
- Corina Pasareanu
4 articles in this issue