A Verification Tool for Erlang
Journal article, 2003
Author
Lars-Åke Fredlund
Dilian Gurov
Thomas Noll
Mads Dam
Thomas Arts
University of Gothenburg
Gennady Chugunov
Published in
Int. Journal on Software Tools for Technology Transfer
Vol. 4 Issue 4 p. 405-420
Categorizing
Subject Categories (SSIF 2011)
Computer and Information Science