![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Aided Verification Volume 10981 (30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I) || Formal Reasoning About the Security of Amazon Web Services
Chockler, Hana, Weissenbacher, GeorgVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-96145-3_3
File:
PDF, 240 KB
english, 2018