- Full Text
- Scholarly Journal
A verification tool for ERLANG
Lars–Åke Fredlund

Preview author details
; Gurov, Dilian

Preview author details
; Noll, Thomas

Preview author details
; Dam, Mads

Preview author details
; Arts, Thomas

Preview author details
; et al.
International Journal on Software Tools for Technology Transfer
Preview publication details
PUBLICATION DETAILS

Scholarly Journal
Heidelberg: Springer Nature B.V.
Peer reviewed.Citation/Abstract coverage: Oct 2002 (Vol. 4, no. 1) - present