Citazione Stile APA (7a Edizione)

Cao, W., Wu, G., Yao, Y., Wei, H., Chen, T., & Ma, X. (2026). Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models.

Citazione stile Chigago Style (17a edizione)

Cao, Weining, Guangyuan Wu, Yuan Yao, Hengfeng Wei, Taolue Chen, e Xiaoxing Ma. Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models. 2026.

Citatione MLA (9a ed.)

Cao, Weining, et al. Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models. 2026.