A Tool for Verifying Software Written in Erlang (2000)

by Thomas Arts , Gennady Chugunov , Mads Dam , Lars-Åke Fredlund , Dilian Gurov , Thomas Noll
Citations:3 - 1 self