![](/img/cover-not-exists.png)
[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Formal verification of spacecraft control programs (experience report)
Mokhov, Andrey, Lukyanov, Georgy, Lechner, JakobYear:
2019
Language:
english
DOI:
10.1145/3331545.3342593
File:
PDF, 680 KB
english, 2019