ISO-690 (author-date, English)

FROHN, FLORIAN, NAAF, MATTHIAS, BROCKSCHMIDT, MARC und GIESL, JÜRGEN, 2020. Inferring Lower Runtime Bounds for Integer Programs. ACM Transactions on Programming Languages & Systems. 1 November 2020. Vol. 42, no. 3, p. 1-50. DOI 10.1145/3410331.

Elsevier - Harvard (with titles)

FROHN, F., NAAF, M., BROCKSCHMIDT, M., GIESL, J., 2020. Inferring Lower Runtime Bounds for Integer Programs. ACM Transactions on Programming Languages & Systems 42, 1-50. https://doi.org/10.1145/3410331

American Psychological Association 7th edition

FROHN, F., NAAF, M., BROCKSCHMIDT, M., & GIESL, J. (2020). Inferring Lower Runtime Bounds for Integer Programs. ACM Transactions on Programming Languages & Systems, 42(3), 1-50. https://doi.org/10.1145/3410331

Springer - Basic (author-date)

FROHN F, NAAF M, BROCKSCHMIDT M, GIESL J (2020) Inferring Lower Runtime Bounds for Integer Programs.. ACM Transactions on Programming Languages & Systems 42:1-50. https://doi.org/10.1145/3410331

Juristische Zitierweise (Stüber) (Deutsch)

FROHN, FLORIAN/ NAAF, MATTHIAS/ BROCKSCHMIDT, MARC/ GIESL, JÜRGEN, Inferring Lower Runtime Bounds for Integer Programs., ACM Transactions on Programming Languages & Systems 2020, 1-50.

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