A Veri Tool for Erlang, Accepted for publication in (2001)

by A Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov
Venue:International Journal of Software Tools for Technology Transfer