Cite Them Right 11th edition - Harvard

Schroer, P., Batz, K., Kaminski, B.L., Katoen, J.-P. und Matheja, C. (2023) „A Deductive Verification Infrastructure for Probabilistic Programs“, Proceedings of the ACM on programming languages 7(OOPSLA2), 294 (2023). doi:10.1145/3622870 special issue: "OOPSLA2" ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 [Preprint].

Chicago Manual of Style 17th edition (full note)

Schroer, Philipp, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, und Christoph Matheja. „A Deductive Verification Infrastructure for Probabilistic Programs“. Proceedings of the ACM on Programming Languages 7(OOPSLA2), 294 (2023). Doi:10.1145/3622870 Special Issue: "OOPSLA2" ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27, 1. Januar 2023.

American Psychological Association 7th edition

Schroer, P., Batz, K., Kaminski, B. L., Katoen, J.-P., & Matheja, C. (2023). A Deductive Verification Infrastructure for Probabilistic Programs. Proceedings of the ACM on Programming Languages 7(OOPSLA2), 294 (2023). Doi:10.1145/3622870 Special Issue: "OOPSLA2" ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27.

Modern Language Association 9th edition

Schroer, P., K. Batz, B. L. Kaminski, J.-P. Katoen, und C. Matheja. „A Deductive Verification Infrastructure for Probabilistic Programs“. Proceedings of the ACM on Programming Languages 7(OOPSLA2), 294 (2023). Doi:10.1145/3622870 Special Issue: "OOPSLA2" ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27, Januar 2023.

ISO-690 (author-date, Deutsch)

SCHROER, Philipp, Kevin BATZ, Benjamin Lucien KAMINSKI, Joost-Pieter KATOEN und Christoph MATHEJA, 2023. A Deductive Verification Infrastructure for Probabilistic Programs. Proceedings of the ACM on programming languages 7(OOPSLA2), 294 (2023). doi:10.1145/3622870 special issue: "OOPSLA2" ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27. 1 Januar 2023

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