"Soter: an automatic safety verifier for erlang."

Emanuele D'Osualdo, Jonathan Kochems, Luke Ong (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics