Paul Baker, Blanca Manu, Rebecca Moussa, Federica Sarro. Industrial Deployment of an AI Multi-Agent System for Requirements-Driven Code Verification. In Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering, FSE Companion 2026, Concordia University, Montreal, QC, Canada, July 5-9, 2026. pages 485-495, ACM, 2026. [doi]
Abstract is missing.