Cover Image

Saved in:
Bibliographic Details
Main Authors: Arquint, Linard, Kishor, Samarth, Koenig, Jason, Dodds, Joey, Kroening, Daniel, Müller, Peter
Format: Recurso digital
Language:English
Published: Zenodo 2025
Subjects:
protocol implementation verification
symbolic security
separation logic
automated verification
static analysis
injective agreement
Online Access:https://doi.org/10.5281/zenodo.17373873
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items