Model checking erlang programs: the functional approach (2006)

by L- ˚A Fredlund, C B Earle
Venue:In ERLANG ’06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang