%0 Journal Article %1 journals/pacmpl/NietoGRTB22 %A Nieto, Abel %A Gondelman, Léon %A Reynaud, Alban %A Timany, Amin %A Birkedal, Lars %D 2022 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1788-1816 %T Modular verification of op-based CRDTs in separation logic. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#NietoGRTB22 %V 6

@article{journals/pacmpl/NietoGRTB22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Nieto, Abel and Gondelman, Léon and Reynaud, Alban and Timany, Amin and Birkedal, Lars}, biburl = {https://www.bibsonomy.org/bibtex/26e135d7efe974e610f3364cdb83ed098/dblp}, ee = {https://doi.org/10.1145/3563351}, interhash = {6242b2566356f212bf26833cab91b33d}, intrahash = {6e135d7efe974e610f3364cdb83ed098}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA2}, pages = {1788-1816}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {Modular verification of op-based CRDTs in separation logic.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#NietoGRTB22}, volume = 6, year = 2022 }