TY  - RPRT
TI  - Proceedings FM-09 Workshop on Formal Methods for Aerospace
AU  - Manuela Bujorianu
AU  - Michael Fisher
PY  - 2010
DO  - 10.4204/eptcs.20
UR  - https://arxiv.org/abs/1003.5363
ID  - 1003.5363
ER  -