Zhou, Z. Q., Towey, D., & Chen, T. Y. (2026). LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report.
Chicago Style (17th ed.) CitationZhou, Zhi Quan, Dave Towey, and Tsong Yueh Chen. LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report. 2026.
MLA (9th ed.) CitationZhou, Zhi Quan, et al. LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report. 2026.
Warning: These citations may not always be 100% accurate.