Skip to main content

Document Preview

Copyright information

International Journal on Software Tools for Technology Transfer is a copyright of Springer, (2002). All Rights Reserved.

Access to the complete full text

This is a short preview of the document. Your library or institution may give you access to the complete full text for this document in ProQuest.

Explore ProQuest

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