1 paper
Sami Abuzakuk, Lucas Crijns, Anne-Marie Kermarrec +2
Infrastructure as code (IaC) tools automate cloud provisioning but verifying that deployed systems remain consistent with the IaC specifications remains challenging. Such configura…