Automatic Inference of Erlang Module Behaviour - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ramsay Taylor, Kirill Bogdanov, John Derrick. Automatic Inference of Erlang Module Behaviour. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 253-267, Springer, 2013. [doi]

This author has not been identified. Look up 'Ramsay Taylor' in GoogleThis author has not been identified. Look up 'Kirill Bogdanov' in GoogleThis author has not been identified. Look up 'John Derrick' in Google

runs on WebDSL