Ur/Web
From MaRDI portal
Software:29313
No author found.
Related Items (8)
Eliom: A Core ML Language for Tierless Web Programming ⋮ CoSMed: a confidentiality-verified social media platform ⋮ Information flow control in software DB units based on formal verification ⋮ Capability-based localization of distributed and heterogeneous queries ⋮ Formal methods for web security ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ A theory of RPC calculi for client–server model ⋮ CoSMed: A Confidentiality-Verified Social Media Platform
This page was built for software: Ur/Web
