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
Citácia podle Chicago (17th ed.)Lundberg, Didrik, Roberto Guanciale, Andreas Lindner, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..