The following pages link to ConfiChair (Q25181):
Displaying 4 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)