PLIF

MaRDI QIDQ13468swMATHFDO

Official website https://github.com/timimin/plif

Source code repository https://github.com/timimin/plif

Cited in

(5)

• Paragon
• JOANA
• JSLINQ
• SeLINQ
• Information flow control in software DB units based on formal verification

This page was built for software: PLIF