@inproceedings{Park:2023:FCS,
  title = "A Formal {CHERI-C} Semantics for Verification",
  author = "Seung Hoon Park and Rekha Pai and Tom Melham",
  year = "2023",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: {TACAS} 2023",
  editor = "Sriram Sankaranarayanan and Natasha Sharygina",
  pages = "549--568",
  publisher = "Springer, Cham",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Park-2023-FCS.pdf",
  volume = "13993",
  doi = "10.1007/978-3-031-30823-9_28",
}