Morris Chudleigh, Chris Berridge, Jenny Butler, Rodney May, Ian Poole. SADLI: Functional Programming in a Safety Critical Application. In Felix Redmill, Tom Anderson, editors, Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996. pages 223-242, Springer, 1996. [doi]
@inproceedings{ChudleighBBMP96,
title = {SADLI: Functional Programming in a Safety Critical Application},
author = {Morris Chudleigh and Chris Berridge and Jenny Butler and Rodney May and Ian Poole},
year = {1996},
doi = {10.1007/978-1-4471-1480-2_15},
url = {https://doi.org/10.1007/978-1-4471-1480-2_15},
researchr = {https://researchr.org/publication/ChudleighBBMP96},
cites = {0},
citedby = {0},
pages = {223-242},
booktitle = {Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996},
editor = {Felix Redmill and Tom Anderson},
publisher = {Springer},
isbn = {978-3-540-76009-2},
}