%0 Conference Paper %1 conf/ecoop/HaasMYBM23 %A Haas, Julian %A Mogk, Ragnar %A Yanakieva, Elena %A Bieniusa, Annette %A Mezini, Mira %B ECOOP %D 2023 %E Ali, Karim %E Salvaneschi, Guido %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 12:1-12:15 %T LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2023.html#HaasMYBM23 %V 263 %@ 978-3-95977-281-5

@inproceedings{conf/ecoop/HaasMYBM23, added-at = {2023-07-11T00:00:00.000+0200}, author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira}, biburl = {https://www.bibsonomy.org/bibtex/2c93741af3267ab2e51416c44187aaed3/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2023}, editor = {Ali, Karim and Salvaneschi, Guido}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.12}, interhash = {d1cca8b747f4b5a5a70566f0bb7dd51f}, intrahash = {c93741af3267ab2e51416c44187aaed3}, isbn = {978-3-95977-281-5}, keywords = {dblp}, pages = {12:1-12:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T17:11:22.000+0200}, title = {LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2023.html#HaasMYBM23}, volume = 263, year = 2023 }