Theoretical Computer Science (Q5897374)
From MaRDI portal
scientific article; zbMATH DE number 5674170
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theoretical Computer Science |
scientific article; zbMATH DE number 5674170 |
Statements
Theoretical Computer Science (English)
0 references
23 February 2010
0 references
security
0 references
compositional analysis and verification
0 references
digital streams
0 references
integrity
0 references