JSLINQ

swMATH27567MaRDI QIDQ39283FDOQ39283

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=2857705.2857717

Cited In (7)

• Paragon
• TS#
• Ur/Web
• JOANA
• SeLINQ
• Information flow control in software DB units based on formal verification
• Formal methods for web security

This page was built for software: JSLINQ