%0 Journal Article %1 journals/pacmpl/PulteMSMSK23 %A Pulte, Christopher %A Makwana, Dhruv C. %A Sewell, Thomas %A Memarian, Kayvan %A Sewell, Peter %A Krishnaswami, Neel %D 2023 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-32 %T CN: Verifying Systems C Code with Separation-Logic Refinement Types. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#PulteMSMSK23 %V 7

@article{journals/pacmpl/PulteMSMSK23, added-at = {2023-02-10T00:00:00.000+0100}, author = {Pulte, Christopher and Makwana, Dhruv C. and Sewell, Thomas and Memarian, Kayvan and Sewell, Peter and Krishnaswami, Neel}, biburl = {https://www.bibsonomy.org/bibtex/25c7a0c04147b5a6c0ee05341f710068c/dblp}, ee = {https://doi.org/10.1145/3571194}, interhash = {a7d77120c990e0950788dc3f2e60796a}, intrahash = {5c7a0c04147b5a6c0ee05341f710068c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1-32}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {CN: Verifying Systems C Code with Separation-Logic Refinement Types.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#PulteMSMSK23}, volume = 7, year = 2023 }