Towards Erlang Verification by Term Rewriting.

Germn Vidal

Browse the full LOPSTR paper archive.