@misc{indiciae9b079ba76a60,
  title = {Deeply Integrating C11 Code Support into Isabelle/PIDE},
  author = {Frédéric Tuong and Burkhart Wolff},
  year = {2019},
  doi = {10.4204/eptcs.310.3},
  url = {https://arxiv.org/abs/1912.10630},
  note = {Source identifier: 1912.10630}
}