Kang, Hur, Mansky, Garbuzov, Zdancewic, Vafeiadis, 2015. A formal C memory model supporting integer-pointer casts, in: . ACM Press.. https://doi.org/10.1145/2737924.2738005