EROS

swMATH23079MaRDI QIDQ34863FDOQ34863

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=319163

Cited In (12)

• Specware
• Kit
• Fable
• Laminar
• Merlin
• Moat
• Privtrans
• VC3
• TAME
• 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