Li, Z., & Song, C. (2026). Natural Language based Specification and Verification.
Style de citation Chicago (17e éd.)Li, Zhaorui, et Chengyu Song. Natural Language Based Specification and Verification. 2026.
Style de citation MLA (9e éd.)Li, Zhaorui, et Chengyu Song. Natural Language Based Specification and Verification. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.