%0 Conference Paper %1 conf/sosp/Sharma0TKZ23 %A Sharma, Upamanyu %A Jung, Ralf %A Tassarotti, Joseph %A Kaashoek, M. Frans %A Zeldovich, Nickolai %B SOSP %D 2023 %E Flinn, Jason %E Seltzer, Margo I. %E Druschel, Peter %E Kaufmann, Antoine %E Mace, Jonathan %I ACM %K dblp %P 113-129 %T Grove: a Separation-Logic Library for Verifying Distributed Systems. %U http://dblp.uni-trier.de/db/conf/sosp/sosp2023.html#Sharma0TKZ23

@inproceedings{conf/sosp/Sharma0TKZ23, added-at = {2023-10-27T00:00:00.000+0200}, author = {Sharma, Upamanyu and Jung, Ralf and Tassarotti, Joseph and Kaashoek, M. Frans and Zeldovich, Nickolai}, biburl = {https://www.bibsonomy.org/bibtex/26ee34bc63f30a2fd58471c9ade9ca8cf/dblp}, booktitle = {SOSP}, crossref = {conf/sosp/2023}, editor = {Flinn, Jason and Seltzer, Margo I. and Druschel, Peter and Kaufmann, Antoine and Mace, Jonathan}, ee = {https://doi.org/10.1145/3600006.3613172}, interhash = {6c59b19367cb3ab7320b5237800f3120}, intrahash = {6ee34bc63f30a2fd58471c9ade9ca8cf}, keywords = {dblp}, pages = {113-129}, publisher = {ACM}, timestamp = {2024-04-09T19:03:02.000+0200}, title = {Grove: a Separation-Logic Library for Verifying Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp2023.html#Sharma0TKZ23}, year = 2023 }