Model checking erlang programs: the functional approach (2006)

by Lars-Ake Fredlund , Clara Benac Earle
Venue:IN ERLANG ’06: PROCEEDINGS OF THE 2006 ACM SIGPLAN WORKSHOP ON ERLANG
Citations:3 - 1 self