Imatge de la portada

Guardat en:
Dades bibliogràfiques
Autors principals: Arquint, Linard, Kishor, Samarth, Koenig, Jason, Dodds, Joey, Kroening, Daniel, Müller, Peter
Format: Recurso digital
Idioma:anglès
Publicat: Zenodo 2025
Matèries:
protocol implementation verification
symbolic security
separation logic
automated verification
static analysis
injective agreement
Accés en línia:https://doi.org/10.5281/zenodo.17373873
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Internet

https://doi.org/10.5281/zenodo.17373873

Ítems similars