Ling, H., Dardinier, T., Arlt, E., & Müller, P. (2026). Sound State Encodings in Translational Separation Logic Verifiers (Extended Version).
Chicago-Zitierstil (17. Ausg.)Ling, Hongyi, Thibault Dardinier, Ellen Arlt, und Peter Müller. Sound State Encodings in Translational Separation Logic Verifiers (Extended Version). 2026.
MLA-Zitierstil (9. Ausg.)Ling, Hongyi, et al. Sound State Encodings in Translational Separation Logic Verifiers (Extended Version). 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.