Publications

3 results for Barbara Liskov

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

Abstractions for usable information flow control in AEOLUs