Protection in programming languages
Communications of the ACM
The Cambridge CAP computer and its operating system (Operating and programming systems series)
The Cambridge CAP computer and its operating system (Operating and programming systems series)
Adding an authorization dimension to strong type checking
ACM SIGPLAN Notices
Hi-index | 0.00 |