McErlang
From MaRDI portal
Software:21695
No author found.
Related Items (3)
Towards Erlang Verification by Term Rewriting ⋮ Declarative debugging of concurrent Erlang programs ⋮ Equational Abstractions for Reducing the State Space of Rewrite Theories
This page was built for software: McErlang
