Buchumschlag

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Arquint, Linard, Kishor, Samarth, Koenig, Jason, Dodds, Joey, Kroening, Daniel, Müller, Peter
Format: Recurso digital
Sprache:Englisch
Veröffentlicht: Zenodo 2025
Schlagworte:
protocol implementation verification
symbolic security
separation logic
automated verification
static analysis
injective agreement
Online-Zugang:https://doi.org/10.5281/zenodo.17373873
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Keine Beschreibung verfügbar.

Ähnliche Einträge