Sign in

Permissive dynamic information flow analysis.

Thomas H. AustinCormac Flanagan
Published in: PLAS (2010)
Keyphrases