City Research Online

Items where Author is "Hankin, C"

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Publication 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.

This list was generated on Mon Jun 24 04:52:52 2019 UTC.