APA-Zitierstil (7. Ausg.)

de Boer, F. S., Hiep, H. A., & de Gouw, S. (2023). Dynamic Separation Logic.

Chicago-Zitierstil (17. Ausg.)

de Boer, Frank S., Hans-Dieter A. Hiep, und Stijn de Gouw. Dynamic Separation Logic. 2023.

MLA-Zitierstil (9. Ausg.)

de Boer, Frank S., et al. Dynamic Separation Logic. 2023.