Guttmann, W. (2011). Fixpoints for general correctness. The journal of logic and algebraic programming, 80(6), 248-265. https://doi.org/10.1016/j.jlap.2011.04.004
Citace podle Chicago (17th ed.)Guttmann, Walter. "Fixpoints for General Correctness." The Journal of Logic and Algebraic Programming 80, no. 6 (2011): 248-265. https://doi.org/10.1016/j.jlap.2011.04.004.
Citace podle MLA (9th ed.)Guttmann, Walter. "Fixpoints for General Correctness." The Journal of Logic and Algebraic Programming, vol. 80, no. 6, 2011, pp. 248-265, https://doi.org/10.1016/j.jlap.2011.04.004.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..