![](/img/cover-not-exists.png)
[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 - Verifying fault-tolerant Erlang programs
Earle, Clara Benac, Fredlund, Lars-Åke, Derrick, JohnYear:
2005
Language:
english
DOI:
10.1145/1088361.1088367
File:
PDF, 259 KB
english, 2005