research
.chalmers.se
In English
Logga in
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
Andra publikationer
Forskning
Gennady Chugunov
Int. Journal on Software Tools for Technology Transfer
Vol. 4 405-420
Ämneskategorier
Data- och informationsvetenskap