Xia, Y., Deshmukh, J. V., Raghothaman, M., & Ravi, S. (2023). Data-Driven Template-Free Invariant Generation.
Chicago-Zitierstil (17. Ausg.)Xia, Yuan, Jyotirmoy V. Deshmukh, Mukund Raghothaman, und Srivatsan Ravi. Data-Driven Template-Free Invariant Generation. 2023.
MLA-Zitierstil (9. Ausg.)Xia, Yuan, et al. Data-Driven Template-Free Invariant Generation. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.