Documents Eliminating Overlapping in Pattern Matching when Verifying Erlang Programs in muCRL

Eliminating Overlapping in Pattern Matching when Verifying Erlang Programs in muCRL Qiang Guo and John Derrick Department of Computer Science The University of Sheffield…

Documents Eliminating Overlapping in Pattern Matching when Verifying Erlang Programs in muCRL

Eliminating Overlapping in Pattern Matching when Verifying Erlang Programs in muCRL Qiang Guo and John Derrick Department of Computer Science The University of Sheffield…