Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014.

Martin Becker, Emanuel Regnath, Samarjit Chakraborty

Browse the full SAFECOMP paper archive.