TY  - RPRT
TI  - Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
AU  - Martin Becker
AU  - Emanuel Regnath
AU  - Samarjit Chakraborty
PY  - 2017
UR  - https://arxiv.org/abs/1707.00945
ID  - 1707.00945
ER  -