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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..