Secure Safe Ambients (2001)

by Michele Bugliesi , Giuseppe Castagna
Venue:In Proc. of the 28th ACM Symposium on Principles of Programming Languages
Citations:53 - 14 self