Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
CoRR. S. 1 - 39
Publikationstyp: Preprint (noch nicht publizierte Dokumente)
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1312.6532
| Geprüft | Bibliothek |
Autoren
Dupressoir, François (Autor)
Gordon, Andrew D. (Autor)
Naumann, David A. (Autor)
