Semi-Automated Verification of Erlang Code (2001)

by Lars-Åke Fredlund, Dilian Gurov, Thomas Noll