A tool for verifying software written in erlang (2003)

by T Arts, G Chugunov, M Dam, L å Fredlund, D Gurov, T Noll
Venue:Int. Journal of Software Tools for Technology Transfer