Automatic Inference of Erlang Module Behaviour.

Ramsay Taylor, Kirill Bogdanov, John Derrick

Browse the full IFM paper archive.