To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A Verification Tool for E… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

A Verification Tool for Erlang

Journal article
Authors Lars-Åke Fredlund
Dilian Gurov
Thomas Noll
Mads Dam
Thomas Arts
Gennady Chugunov
Published in Int. Journal on Software Tools for Technology Transfer
Volume 4
Issue 4
Pages 405-420
Publication year 2003
Published at Department of Applied Information Technology (GU)
Pages 405-420
Language en
Subject categories
Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?