TY  - RPRT
TI  - On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
AU  - Hendrik Tews
AU  - Marcus Völp
AU  - Tjark Weber
PY  - 2012
DO  - 10.4204/eptcs.102.8
UR  - https://arxiv.org/abs/1211.6190
ID  - 1211.6190
ER  -