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

by F Huch
Venue:In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99