Svensson, Hans profile picture

Svensson, Hans

Is this your author profile? Create an account to claim and customize it!

Verification of distributed Erlang programs using testing, model checking and theorem proving