System Description: Verification of Distributed Erlang Programs.

Thomas Arts, Mads Dam, Lars-ke Fredlund, Dilian Gurov

Browse the full CADE paper archive.