Laminar
From MaRDI portal
Software:34861
No author found.
Related Items (4)
Secure information flow connections ⋮ Program synthesis for interactive-security systems ⋮ Flexible dynamic information flow control in the presence of exceptions ⋮ JRIF: reactive information flow control for Java
This page was built for software: Laminar
