Emanuel Regnath
Identifiers
No identifiers captured yet.
Papers (1)
- Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014 cs.SE · 2017 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Martin Becker 1 shared papers
- Samarjit Chakraborty 1 shared papers