Login / Signup

Automated Verification of Security Policies in Mobile Code.

Chiara BraghinNatasha SharyginaKaterina Barone-Adesi
Published in: IFM (2007)
Keyphrases