Skip to content

Preserving Information Flow Properties under Refinement.

Heiko Mantel

VenueA*SP
Year2001
ProceedingsS&P

Browse the full SP paper archive.