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
Publicerad i
Int. Journal on Software Tools for Technology Transfer
Vol. 4 Nummer/häfte 4 s. 405-420
Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap