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 Sat Sep 21 05:00:39 2019 UTC.