Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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üftBibliothek

Autoren

Aizatulin, Mihhail (Autor)
D. Gordon, Andrew (Autor)
Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik