ConfiChair
From MaRDI portal
Cited in
(16)- CoSMed: a confidentiality-verified social media platform
- ProVerif
- CoCon: a conference management system with formally verified document confidentiality
- scyther
- Formal analysis and offline monitoring of electronic exams
- TS#
- RiTHM
- Jif
- CoSMed
- Ur/Web
- Akiss
- JavaSPI
- Deciding equivalence-based properties using constraint solving
- JRIF
- FlowFox
- CoCon
This page was built for software: ConfiChair
