Towards Automatic Verification of Erlang Programs by

by Calculus Translation Chanchal