APA-Zitierstil (7. Ausg.)

Dickerson, R., Mukherjee, P., & Delaware, B. (2024). KestRel: Relational Verification Using E-Graphs for Program Alignment.

Chicago-Zitierstil (17. Ausg.)

Dickerson, Robert, Prasita Mukherjee, und Benjamin Delaware. KestRel: Relational Verification Using E-Graphs for Program Alignment. 2024.

MLA-Zitierstil (9. Ausg.)

Dickerson, Robert, et al. KestRel: Relational Verification Using E-Graphs for Program Alignment. 2024.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.