APA-Zitierstil (7. Ausg.)

Esen, Z., Rümmer, P., & Weber, T. (2025). Sound and Complete Invariant-Based Heap Encodings (Technical Report).

Chicago-Zitierstil (17. Ausg.)

Esen, Zafer, Philipp Rümmer, und Tjark Weber. Sound and Complete Invariant-Based Heap Encodings (Technical Report). 2025.

MLA-Zitierstil (9. Ausg.)

Esen, Zafer, et al. Sound and Complete Invariant-Based Heap Encodings (Technical Report). 2025.