APA-Zitierstil (7. Ausg.)

Cousot. Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).

Chicago-Zitierstil (17. Ausg.)

Cousot. Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).

MLA-Zitierstil (9. Ausg.)

Cousot. Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).

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