Eduard Paul Enoiu, Dragos Truscan, Andrey Sadovykh, Wissam Mallouli. VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices. In Proceedings of the 18th International Conference on Availability, Reliability and Security, ARES 2023, Benevento, Italy, 29 August 2023- 1 September 2023. ACM, 2023. [doi]
Abstract is missing.