JRIF

swMATH32195MaRDI QIDQ43906

No author found.

Described by source

• JRIF: reactive information flow control for Java

Related Items (1)

CoCon: a conference management system with formally verified document confidentiality

This page was built for software: JRIF