System description: Veri of distributed Erlang programs (1998)

by T Arts, M Dam, L-a Fredlund, D Gurov
Venue:In Proc. CADE'98, Lecture Notes in Arti Intelligence