The following pages link to Laminar (Q34861):
Displaying 5 items.
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Secure information flow connections (Q2141283) (← links)
- JRIF: reactive information flow control for Java (Q2303365) (← links)
- Flexible dynamic information flow control in the presence of exceptions (Q5371997) (← links)
- Publication:5371997 (← links)