Abstractions for usable information flow control in AEOLUs
- Winnie Cheng
- Victoria Popic
- et al.
- 2012
- USENIX ATC 2012
Publications
Date
Featured collections
Popular topics
3 results for Barbara Liskov
Specification techniques for data abstractions
- Barbara Liskov
- Stephen Zilles
- 1975
- International Conference on Reliable Software 1975
Specification Techniques for Data Abstractions
- Barbara Liskov
- Stephen Zilles
- 1975
- ACM SIGPLAN Notices