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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.