%0 Journal Article %1 journals/pacmpl/0001KEW0CB20 %A Sprenger, Christoph %A Klenze, Tobias %A Eilers, Marco %A Wolf, Felix A. %A Müller, Peter %A Clochard, Martin %A Basin, David A. %D 2020 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 152:1-152:31 %T Igloo: soundly linking compositional refinement and separation logic for distributed system verification. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#0001KEW0CB20 %V 4

@article{journals/pacmpl/0001KEW0CB20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Sprenger, Christoph and Klenze, Tobias and Eilers, Marco and Wolf, Felix A. and Müller, Peter and Clochard, Martin and Basin, David A.}, biburl = {https://www.bibsonomy.org/bibtex/207e0f6b2a4ed24a02013764f507bba6a/dblp}, ee = {https://doi.org/10.1145/3428220}, interhash = {d52589a0cfa68fae4ee077b56a16f6c7}, intrahash = {07e0f6b2a4ed24a02013764f507bba6a}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {152:1-152:31}, timestamp = {2024-04-08T09:54:20.000+0200}, title = {Igloo: soundly linking compositional refinement and separation logic for distributed system verification.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#0001KEW0CB20}, volume = 4, year = 2020 }