Cited in
(12)- scientific article; zbMATH DE number 1701781 (Why is no real title available?)
- Towards Erlang verification by term rewriting
- A theory of monitors
- Proving Properties of Lazy Functional Programs with Sparkle
- scientific article; zbMATH DE number 1691455 (Why is no real title available?)
- AspectWerkz
- Erlang
- McErlang
- InterAspect
- Java-MaC
- daVinci
- Model checking Erlang programs -- abstracting recursive function calls
This page was built for software: evt
