Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols

Författare
Benjamin Aziz
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2022 Utgivningsland okänt / Ej specificerat