Login / Signup

A derivation framework for dependent security label inference.

Peixuan LiDanfeng Zhang
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases