City Research Online

Items where Author is "Mastroeni, I."

Up a level
Group by: Type | No Grouping
Number of items: 1.

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

This list was generated on Fri Mar 29 07:49:13 2024 UTC.