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
Sitemap
To content Read more about how we use cookies on gu.se

Contact form








 


Note! If you want an answer on a question you must specify your email address




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
Share:

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?