Verification of Erlang programs using abstract interpretation and model checking (1999)

by F Huch
Venue:In ICFP ’99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming