ConfiChair

swMATH13266MaRDI QIDQ25181FDOQ25181

Author name not available (Why is that?)

Cited In (4)

• Deciding equivalence-based properties using constraint solving
• CoCon: a conference management system with formally verified document confidentiality
• CoSMed: a confidentiality-verified social media platform
• Formal analysis and offline monitoring of electronic exams

This page was built for software: ConfiChair