Publications

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