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
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.
Modern Language Association 9th editionQian, Z. „Standard Fixpoint Iteration for Java Bytecode Verification.“. ACM Transactions on Programming Languages & Systems, Bd. 22, Nr. 4, Juli 2000, S. 638-71, https://doi.org/10.1145/363911.363915.
Mohr Siebeck - Recht (Deutsch - Österreich)Qian, Zhenyu: Standard Fixpoint Iteration for Java Bytecode Verification., ACM Transactions on Programming Languages & Systems 2000, 638-671.
Emerald - HarvardQian, Z. (2000), „Standard Fixpoint Iteration for Java Bytecode Verification.“, ACM Transactions on Programming Languages & Systems, Vol. 22 No. 4, S. 638-671.