Skip to content

Preserving security properties under refinement.

Fabio Martinelli, Ilaria Matteucci

VenueA*ICSE
Year2011
ProceedingsSESS@ICSE

Browse the full ICSE paper archive.