Items where Author is "Hankin, C"
Up a level |
Group by: Type | No Grouping
Number of items: 1.
Conference or Workshop Item
Hunt, S. and Mastroeni, I. (2005). The PER model of abstract non-interference. Paper presented at the Proc. Static Analysis, 12th International Symposium.