Navin Soni. Formalizing Infrastructure-as-Code Design Patterns for Cloud Deployment Automation. JCSTS [Internet]. 2025 Sep. 28 [cited 2025 Oct. 6];7(10):67-78. Available from: https://al-kindipublishers.org/index.php/jcsts/article/view/11036