- Full Text
- Scholarly Journal
A verification tool for ERLANG
Lars–Åke Fredlund; Gurov, Dilian; Noll, Thomas; Dam, Mads; Arts, Thomas; et al.
International Journal on Software Tools for Technology Transfer; Heidelberg Vol. 4, Iss. 4, (Aug 2003): 405-420.
DOI:10.1007/s100090100071