@article{article, title = {{Verifying fault-tolerant Erlang programs}},
url = {{}},
year = {{2005}},
month = {{1}},
author = {{Earle CB and Fredlund LA and Derrick J}},
doi = {{10.1145/1088361.1088367}},
journal = {{Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop}},
pages = {{26-34}},
note = {{Accessed on 2025/07/26}}}