A model for verification of data security in operating systems
Communications of the ACM
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
| Hi-index | 0.02 |