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

;

;

;

;

; et al.

International Journal on Software Tools for Technology Transfer

; Heidelberg Vol. 4, Iss. 4, (Aug 2003): 405-420. DOI:10.1007/s100090100071