Skip to content

Eliminating formal flows in automated information flow analysis.

Steven T. Eckmann

VenueA*SP
Year1994
ProceedingsS&P

Browse the full SP paper archive.