evt

MaRDI QIDQ21784swMATHFDO

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
• scientific article; zbMATH DE number 1691455 (Why is no real title available?)
• scientific article; zbMATH DE number 1701781 (Why is no real title available?)
• Model checking Erlang programs -- abstracting recursive function calls
• Proving Properties of Lazy Functional Programs with Sparkle

This page was built for software: evt