APA (7th ed.) Citation

Wang, W., Farrell, M., Cordeiro, L. C., & Zhao, L. (2025). Supporting Software Formal Verification with Large Language Models: An Experimental Study.

Chicago Style (17th ed.) Citation

Wang, Weiqi, Marie Farrell, Lucas C. Cordeiro, and Liping Zhao. Supporting Software Formal Verification with Large Language Models: An Experimental Study. 2025.

MLA (9th ed.) Citation

Wang, Weiqi, et al. Supporting Software Formal Verification with Large Language Models: An Experimental Study. 2025.