HAAS, Julian, MOGK, Ragnar, YANAKIEVA, Elena, BIENIUSA, Annette und MEZINI, Mira, 2024. Lo Re: A Programming Model for Verifiably Safe Local-first Software. Association for Computing Machinery. ACM transactions on programming languages and systems. 2024. No. Band 46, Heft 1 (2024), Artikel-ID: 2, p. , Heft 1 (2024), Artikel-ID: 2. 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. Association for Computing Machinery. ACM transactions on programming languages and systems , Heft 1 (2024), Artikel-ID: 2. https://doi.org/10.1145/3633769
American Psychological Association 7th editionHaas, J., Mogk, R., Yanakieva, E., Bieniusa, A., & Mezini, M. (ca. 2024). Lo Re: A Programming Model for Verifiably Safe Local-first Software [Electronic]. Association for Computing Machinery. ACM transactions on programming languages and systems, Band 46, Heft 1 (2024), Artikel-ID: 2, , Heft 1 (2024), Artikel-ID: 2. 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. Association for Computing Machinery. ACM transactions on programming languages and systems , Heft 1 (2024), Artikel-ID: 2. 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, Association for Computing Machinery. ACM transactions on programming languages and systems 2024, , Heft 1 (2024), Artikel-ID: 2.