A Verification Tool for Erlang
Artikel i vetenskaplig tidskrift, 2003
Författare
Lars-Åke Fredlund
Dilian Gurov
Thomas Noll
Mads Dam
Thomas Arts
Göteborgs universitet
Gennady Chugunov
Int. Journal on Software Tools for Technology Transfer
Vol. 4 4 405-420
Ämneskategorier
Data- och informationsvetenskap