%0 Book %1 books/sp/Aziz22 %A Aziz, Benjamin %D 2022 %I Springer %K dblp %P 1-113 %T Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols %@ 978-3-030-91152-2

@book{books/sp/Aziz22, added-at = {2022-01-08T00:00:00.000+0100}, author = {Aziz, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2c8d1b1ad479393e6124dd94a1088144a/dblp}, ee = {https://doi.org/10.1007/978-3-030-91153-9}, interhash = {df9f82fd8c48686ef5b3d55bac88f961}, intrahash = {c8d1b1ad479393e6124dd94a1088144a}, isbn = {978-3-030-91152-2}, keywords = {dblp}, pages = {1-113}, publisher = {Springer}, timestamp = {2024-04-09T07:53:05.000+0200}, title = {Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols}, year = 2022 }