Computational verification of C protocol implementations by symbolic execution.
ACM Conference on Computer and Communications Security. 2012 S. 712 - 723
Erscheinungsjahr: 2012
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ACM Conference on Computer and Communications Security. 2012 S. 712 - 723
Erscheinungsjahr: 2012
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |