JSLINQ

MaRDI QIDQ39283swMATHFDO

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

Cited in

(8)

• PLIF
• 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