ISO-690 (author-date, English)

GLESNER, Sabine, 2006. Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing: Applicable Formal Methods. 1 Juni 2006. Vol. 18, no. 2, p. 244-262. DOI 10.1007/s00165-006-0090-4.

Elsevier - Harvard (with titles)

Glesner, S., 2006. Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing: Applicable Formal Methods 18, 244-262. https://doi.org/10.1007/s00165-006-0090-4

American Psychological Association 7th edition

Glesner, S. (2006). Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing: Applicable Formal Methods, 18(2), 244-262. https://doi.org/10.1007/s00165-006-0090-4

Springer - Basic (author-date)

Glesner S (2006) Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing: Applicable Formal Methods 18:244-262. https://doi.org/10.1007/s00165-006-0090-4

Juristische Zitierweise (Stüber) (Deutsch)

Glesner, Sabine, Finite Integer Computations: An Algebraic Foundation for Their Correctness, Formal Aspects of Computing: Applicable Formal Methods 2006, 244-262.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.