SAFKASI
From MaRDI portal
Software:32249
No author found.
Related Items (3)
Model checking usage policies ⋮ A functional correspondence between monadic evaluators and abstract machines for languages with computational effects ⋮ Access Control in a Core Calculus of Dependency
This page was built for software: SAFKASI
