Not registered as user yet

Name:Jakob Lechner
Affiliation:RUAG Space Austria GmbH

Contributions

Haskell 2019 Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track