evt
From MaRDI portal
Software:21784
No author found.
Related Items (6)
Towards Erlang Verification by Term Rewriting ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ A theory of monitors ⋮ Model Checking Erlang Programs – Abstracting Recursive Function Calls
This page was built for software: evt
