Login / Signup

Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language.

Qi SunAnindya BanerjeeDavid A. Naumann
Published in: SAS (2004)
Keyphrases