Skip to content

From Authorization Logics to Types for Authorization.

Radha Jagadeesan

VenueBAPLAS
Year2008
ProceedingsAPLAS

Browse the full APLAS paper archive.