Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols
Aziz, Benjamin (2022) Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols. Springer.
Full text not available from this repository.
Access this via: https://doi.org/10.1007/978-3-030-91153-9
| Item Type: | Book |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 06 Dec 2023 13:51 |
| Last Modified: | 06 Dec 2023 13:51 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18829 |
Actions (login required)
 |
Edit Item |