A Systematic Approach to Static Access Control (2001)

by F Pottier, C Skalka, S F Smith
Venue:In European Symposium on Programming