PLIF

swMATH714MaRDI QIDQ13468FDOQ13468

Author name not available (Why is that?)

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