Items where Author is "Mastroeni, I."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Conference or Workshop Item
Hunt, S. & Mastroeni, I. (2005). The PER model of abstract non-interference. In: Hankin, C. & Siveroni, I. (Eds.), Static Analysis. SAS 2005. Proc. Static Analysis, 12th International Symposium doi: 10.1007/11547662_13