APA (7th ed.) Citation

Liu, Y., Xue, Y., Wu, D., Sun, Y., Li, Y., Shi, M., & Liu, Y. (2024). PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Chicago Style (17th ed.) Citation

Liu, Ye, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, and Yang Liu. PropertyGPT: LLM-driven Formal Verification of Smart Contracts Through Retrieval-Augmented Property Generation. 2024.

MLA (9th ed.) Citation

Liu, Ye, et al. PropertyGPT: LLM-driven Formal Verification of Smart Contracts Through Retrieval-Augmented Property Generation. 2024.