TY  - RPRT
TI  - Deeply Integrating C11 Code Support into Isabelle/PIDE
AU  - Frédéric Tuong
AU  - Burkhart Wolff
PY  - 2019
DO  - 10.4204/eptcs.310.3
UR  - https://arxiv.org/abs/1912.10630
ID  - 1912.10630
ER  -