Master Thesis Project: Formal Verification of Infrastructure as Code Environments
m0nt3cr1st0 / formal_iac Goto Github PK
View Code? Open in Web Editor NEWMaster Thesis Project: Formal Verification of Infrastructure as Code Environments
License: MIT License