Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Braghin, C. and First Letter Of Title is A [Clear All Filters]
Automated Verification of Security Policies in Mobile Code.,
, Integrated Formal Methods (IFM), (2007)
