Emanuel Regnath
Me
Work
Life
SPARK
High-Altitude Glider
Flight stack written in Ada/SPARK 2014
Cite
×