Skip to content

The PER Model of Abstract Non-interference.

Sebastian Hunt, Isabella Mastroeni

VenueBSAS
Year2005
ProceedingsSAS

Browse the full SAS paper archive.