A Testing Theory for a Higher-Order Cryptographic Language (Q3000588)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Testing Theory for a Higher-Order Cryptographic Language |
scientific article; zbMATH DE number 5897351
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Testing Theory for a Higher-Order Cryptographic Language |
scientific article; zbMATH DE number 5897351 |
Statements
A Testing Theory for a Higher-Order Cryptographic Language (English)
0 references
19 May 2011
0 references
0.8703065
0 references
0 references
0.8434973
0 references
0.84238523
0 references
