Model checking erlang programs: the functional approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lars-Åke Fredlund, Clara Benac Earle. Model checking erlang programs: the functional approach. In Marc Feeley, Philip W. Trinder, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006. pages 11-19, ACM, 2006. [doi]

This author has not been identified. Look up 'Lars-Åke Fredlund' in GoogleThis author has not been identified. Look up 'Clara Benac Earle' in Google

runs on WebDSL