Model checking erlang programs: the functional approach

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]

Abstract

Abstract is missing.