evt

swMATH9805MaRDI QIDQ21784FDOQ21784

Author name not available (Why is that?)

Official website: http://link.springer.com/article/10.1007/s100090100071

Cited In (12)

• Towards Erlang verification by term rewriting
• AspectWerkz
• Erlang
• McErlang
• InterAspect
• Java-MaC
• daVinci
• A theory of monitors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking Erlang programs -- abstracting recursive function calls
• Proving Properties of Lazy Functional Programs with Sparkle

This page was built for software: evt