TY  - RPRT
TI  - A Formal Model of Checked C
AU  - Liyi Li
AU  - Yiyun Liu
AU  - Deena L. Postol
AU  - Leonidas Lampropoulos
AU  - David Van Horn
AU  - Michael Hicks
PY  - 2022
UR  - https://arxiv.org/abs/2201.13394
ID  - 2201.13394
ER  -