McErlang

swMATH9716MaRDI QIDQ21695FDOQ21695

Author name not available (Why is that?)

Cited In (3)

• Declarative debugging of concurrent Erlang programs
• Towards Erlang Verification by Term Rewriting
• Equational Abstractions for Reducing the State Space of Rewrite Theories

This page was built for software: McErlang