PLIF

swMATH714MaRDI QIDQ13468FDOQ13468

Author name not available (Why is that?)

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

Cited In (1)

• Information flow control in software DB units based on formal verification

This page was built for software: PLIF