Detecting defects in Erlang programs using static analysis.

Konstantinos F. Sagonas Detecting defects in Erlang programs using static analysis. 37 2007 conf/ppdp/2007 PPDP http://doi.acm.org/10.1145/1273920.1273926 db/conf/ppdp/ppdp2007.html#Sagonas07