Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jakob Lechner
conf.researchr.org general profile
ICFP 2019 profile
Not registered as user
Name:
Jakob Lechner
Affiliation:
RUAG Space Austria GmbH
Contributions
2019
Haskell
Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track
Share
x
Sat 21 Dec 19:52