EROS

MaRDI QIDQ34863swMATHFDO

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