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]
Abstract is missing.