Lundberg, D., Guanciale, R., Lindner, A., & Dam, M. (2026). Hoare-style logic for unstructured programs. Journal of logical and algebraic methods in programming, 149, 101099. https://doi.org/10.1016/j.jlamp.2025.101099
Chicago-Zitierstil (17. Ausg.)Lundberg, Didrik, Roberto Guanciale, Andreas Lindner, und Mads Dam. "Hoare-style Logic for Unstructured Programs." Journal of Logical and Algebraic Methods in Programming 149 (2026): 101099. https://doi.org/10.1016/j.jlamp.2025.101099.
MLA-Zitierstil (9. Ausg.)Lundberg, Didrik, et al. "Hoare-style Logic for Unstructured Programs." Journal of Logical and Algebraic Methods in Programming, vol. 149, 2026, p. 101099, https://doi.org/10.1016/j.jlamp.2025.101099.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.