Login / Signup

Guiding Distributed Systems Synthesis with Language-Based Security Policies.

Andrew C. Myers
Published in: FMOODS (2008)
Keyphrases