Navin Soni. Formalizing Infrastructure-As-Code Design Patterns for Cloud Deployment Automation. JCSTS 2025, 7 (10), 67-78. https://doi.org/10.32996/jcsts.2025.7.10.7.