ISO-690 (author-date, English)

QIAN, Zhenyu, 2000. Standard Fixpoint Iteration for Java Bytecode Verification. ACM Transactions on Programming Languages & Systems. 1 Juli 2000. Vol. 22, no. 4, p. 638-671. DOI 10.1145/363911.363915.

Elsevier - Harvard (with titles)

Qian, Z., 2000. Standard Fixpoint Iteration for Java Bytecode Verification. ACM Transactions on Programming Languages & Systems 22, 638-671. https://doi.org/10.1145/363911.363915

American Psychological Association 7th edition

Qian, Z. (2000). Standard Fixpoint Iteration for Java Bytecode Verification. ACM Transactions on Programming Languages & Systems, 22(4), 638-671. https://doi.org/10.1145/363911.363915

Springer - Basic (author-date)

Qian Z (2000) Standard Fixpoint Iteration for Java Bytecode Verification.. ACM Transactions on Programming Languages & Systems 22:638-671. https://doi.org/10.1145/363911.363915

Juristische Zitierweise (Stüber) (Deutsch)

Qian, Zhenyu, Standard Fixpoint Iteration for Java Bytecode Verification., ACM Transactions on Programming Languages & Systems 2000, 638-671.

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