ConfiChair
From MaRDI portal
Software:25181
No author found.
Related Items (4)
CoSMed: a confidentiality-verified social media platform ⋮ Formal analysis and offline monitoring of electronic exams ⋮ Deciding equivalence-based properties using constraint solving ⋮ CoCon: a conference management system with formally verified document confidentiality
This page was built for software: ConfiChair
