Number of items: 1.
Kang, Jeehoon and Hur, Chung-Kil and Mansky, William and Garbuzov, Dmitri and Zdancewic, Steve and Vafeiadis, Viktor
(2015)
A formal C memory model supporting integer-pointer casts.
This list was generated on Wed Jul 3 05:34:28 2024 CEST.