Publications

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