ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

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-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

Springer - Basic (author-date)

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-71. https://doi.org/10.1145/3716312

Juristische Zitierweise (Stüber) (Deutsch)

Moine, Alexandre/ Charguéraud, Arthur/ Pottier, François, Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection., ACM Transactions on Programming Languages & Systems 2025, 1-71.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.