Separation and Information Hiding.
Saved in:
| Title: | Separation and Information Hiding. |
|---|---|
| Authors: | O'Hearn, Peter W., Yang, Hongseok, Reynolds, John C. |
| Source: | ACM Transactions on Programming Languages & Systems; Apr2009, Vol. 31 Issue 3, p93-142, 50p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/1498926.1498929 |