![](/img/cover-not-exists.png)
[ACM Press the 8th ACM SIGPLAN workshop - Edinburgh, Scotland (2009.09.05-2009.09.05)] Proceedings of the 8th ACM SIGPLAN workshop on Erlang - Erlang '09 - Recent improvements to the McErlang model checker
Benac Earle, Clara, Fredlund, Lars AkeYear:
2009
Language:
english
DOI:
10.1145/1596600.1596613
File:
PDF, 511 KB
english, 2009