2005): A Systematic Approach to Static Access Control (0)

by F Pottier, C Skalka, S Smith
Venue:ACM Transactions on Programming Languages and Systems