Semi-Automated Verification of Erlang Code (2001)

by L Fredlund, D Gurov, T Noll
Venue:In ASE ’01: Proceedings of the 16th IEEE International Conference on Automated Software Engineering