ISO-690 (author-date, English)

HAAS, Julian, MOGK, Ragnar, YANAKIEVA, Elena, BIENIUSA, Annette und MEZINI, Mira, 2024. Lo Re: A Programming Model for Verifiably Safe Local-first Software. ACM Transactions on Programming Languages & Systems. 1 März 2024. Vol. 46, no. 1, p. 1-26. DOI 10.1145/3633769.

Elsevier - Harvard (with titles)

Haas, J., Mogk, R., Yanakieva, E., Bieniusa, A., Mezini, M., 2024. Lo Re: A Programming Model for Verifiably Safe Local-first Software. ACM Transactions on Programming Languages & Systems 46, 1-26. https://doi.org/10.1145/3633769

American Psychological Association 7th edition

Haas, J., Mogk, R., Yanakieva, E., Bieniusa, A., & Mezini, M. (2024). Lo Re: A Programming Model for Verifiably Safe Local-first Software. ACM Transactions on Programming Languages & Systems, 46(1), 1-26. https://doi.org/10.1145/3633769

Springer - Basic (author-date)

Haas J, Mogk R, Yanakieva E, Bieniusa A, Mezini M (2024) Lo Re: A Programming Model for Verifiably Safe Local-first Software.. ACM Transactions on Programming Languages & Systems 46:1-26. https://doi.org/10.1145/3633769

Juristische Zitierweise (Stüber) (Deutsch)

Haas, Julian/ Mogk, Ragnar/ Yanakieva, Elena/ Bieniusa, Annette/ Mezini, Mira, Lo Re: A Programming Model for Verifiably Safe Local-first Software., ACM Transactions on Programming Languages & Systems 2024, 1-26.

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