Cite Them Right 11th edition - Harvard

Moine, A., Charguéraud, A. und Pottier, F. (2025) „Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.“, ACM Transactions on Programming Languages & Systems, 47(1), S. 1-71. doi:10.1145/3716312.

Chicago Manual of Style 17th edition (full note)

Moine, Alexandre, Arthur Charguéraud, und François Pottier. „Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.“. ACM Transactions on Programming Languages & Systems 47, Nr. 1 (1. März 2025): 1-71. https://doi.org/10.1145/3716312.

American Psychological Association 7th edition

Moine, A., Charguéraud, A., & Pottier, F. (2025). Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. ACM Transactions on Programming Languages & Systems, 47(1), 1-71. https://doi.org/10.1145/3716312

Modern Language Association 9th edition

Moine, A., A. Charguéraud, und F. Pottier. „Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.“. ACM Transactions on Programming Languages & Systems, Bd. 47, Nr. 1, März 2025, S. 1-71, https://doi.org/10.1145/3716312.

ISO-690 (author-date, Deutsch)

MOINE, Alexandre, Arthur CHARGUÉRAUD und François POTTIER, 2025. Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. ACM Transactions on Programming Languages & Systems. 1 März 2025. Bd. 47, Nr. 1, S. 1-71. DOI 10.1145/3716312

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