MetaKlaim
From MaRDI portal
Software:14458
No author found.
Related Items (4)
Security Policies as Membranes in Systems for Global Computing ⋮ Experiences with an object-oriented, multi-stage language ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Formal Methods for Open Object-Based Distributed Systems
This page was built for software: MetaKlaim
