EROS
From MaRDI portal
Software:34863
No author found.
Related Items (3)
Program synthesis for interactive-security systems ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ Operating system verification---an overview
This page was built for software: EROS
