Citazione Stile APA (7a Edizione)

Xia, Y., Deshmukh, J. V., Raghothaman, M., & Ravi, S. (2023). Data-Driven Template-Free Invariant Generation.

Citazione stile Chigago Style (17a edizione)

Xia, Yuan, Jyotirmoy V. Deshmukh, Mukund Raghothaman, e Srivatsan Ravi. Data-Driven Template-Free Invariant Generation. 2023.

Citatione MLA (9a ed.)

Xia, Yuan, et al. Data-Driven Template-Free Invariant Generation. 2023.