Old Web
English
Sign In
Acemap
>
Paper
>
Alice and Bob: Reconciling Formal Models and Implementation
Alice and Bob: Reconciling Formal Models and Implementation
2016
Sebastian Alexander
Keywords:
Alice and Bob
Simulation
Computer science
Programming language
Database
Correction
Cite
Save
Machine Reading By IdeaReader
21
References
0
Citations
NaN
KQI
[]