%0 Conference Paper %1 conf/haskell/MokhovLL19 %A Mokhov, Andrey %A Lukyanov, Georgy %A Lechner, Jakob %B Haskell@ICFP %D 2019 %E Eisenberg, Richard A. %I ACM %K dblp %P 139-145 %T Formal verification of spacecraft control programs (experience report). %U http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#MokhovLL19 %@ 978-1-4503-6813-1

@inproceedings{conf/haskell/MokhovLL19, added-at = {2019-07-29T00:00:00.000+0200}, author = {Mokhov, Andrey and Lukyanov, Georgy and Lechner, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2e29a7b9b407202009dd111f323846587/dblp}, booktitle = {Haskell@ICFP}, crossref = {conf/haskell/2019}, editor = {Eisenberg, Richard A.}, ee = {https://doi.org/10.1145/3331545.3342593}, interhash = {179cd224f95b63f7638379d14e999f3d}, intrahash = {e29a7b9b407202009dd111f323846587}, isbn = {978-1-4503-6813-1}, keywords = {dblp}, pages = {139-145}, publisher = {ACM}, timestamp = {2024-04-10T01:08:07.000+0200}, title = {Formal verification of spacecraft control programs (experience report).}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#MokhovLL19}, year = 2019 }