EROS

swMATH23079MaRDI QIDQ34863FDOQ34863

Author name not available (Why is that?)

Cited In (3)

• Dynamic management of capabilities in a network aware coordination language
• Operating system verification---an overview
• Program synthesis for interactive-security systems

This page was built for software: EROS