p4v

swMATH40690MaRDI QIDQ5972378FDOQ5972378

Author name not available (Why is that?)

Official website: https://www.cs.cornell.edu/~jnfoster/papers/p4v.pdf

Cited In (8)

• DyNetiKAT
• Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities
• VeriFlow
• Anteater
• Ansible
• LWeb
• Rehearsal
• Terraform

This page was built for software: p4v