TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2024
Anzahl der Einträge: 1.
2024
Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira (2024)
LoRe: A Programming Model for Verifiably Safe Local-first Software.
In: ACM Transactions on Programming Languages and Systems, 46 (1)
doi: 10.1145/3633769
Artikel, Bibliographie