Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects | Publicación