Not registered as user yet

Name: Jakob Lechner

Affiliation: RUAG Space Austria GmbH

Contributions

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