SeLINQ
From MaRDI portal
Software:40093
No author found.
Related Items (2)
Information flow control in software DB units based on formal verification ⋮ Formal methods for web security
This page was built for software: SeLINQ