Alice and Bob: Reconciling Formal Models and Implementation (Q3460863)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alice and Bob: Reconciling Formal Models and Implementation |
scientific article |
Statements
Alice and Bob: Reconciling Formal Models and Implementation (English)
0 references
8 January 2016
0 references
