Skip to content

Computer Security from a Programming Language and Static Analysis Perspective.

Xavier Leroy

VenueAESOP
Year2003
ProceedingsESOP

Browse the full ESOP paper archive.