%0 Journal Article %1 journals/corr/abs-2211-07511 %A Park, Seung Hoon %A Pai, Rekha R. %A Melham, Tom %D 2022 %J CoRR %K dblp %T A Formal CHERI-C Semantics for Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-07511 %V abs/2211.07511

@article{journals/corr/abs-2211-07511, added-at = {2023-04-25T00:00:00.000+0200}, author = {Park, Seung Hoon and Pai, Rekha R. and Melham, Tom}, biburl = {https://www.bibsonomy.org/bibtex/221b1ce7b9ec2efd385cf9fe3c5a09114/dblp}, ee = {https://doi.org/10.48550/arXiv.2211.07511}, interhash = {225b754dd3cf24db7d2ccd5cc5fe305f}, intrahash = {21b1ce7b9ec2efd385cf9fe3c5a09114}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:34:10.000+0200}, title = {A Formal CHERI-C Semantics for Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-07511}, volume = {abs/2211.07511}, year = 2022 }