Verifying fault-tolerant Erlang programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Clara Benac Earle, Lars-Åke Fredlund, John Derrick. Verifying fault-tolerant Erlang programs. In Konstantinos F. Sagonas, Joe Armstrong, editors, Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. pages 26-34, ACM, 2005. [doi]

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

runs on WebDSL