evt

swMATH9805MaRDI QIDQ21784FDOQ21784

Author name not available (Why is that?)

Cited In (6)

• Towards Erlang Verification by Term Rewriting
• 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