Other Gillian-related Publications
==================================

* `A Formal CHERI-C Semantics for Verification <https://doi.org/10.1007/978-3-031-30823-9_28>`_ (TACAS'23) by Seung Hoon Park, Rekha Pai, and Tom Melham