TY  - RPRT
TI  - Hybrid Information Flow Analysis for Programs with Arrays
AU  - Gergö Barany
PY  - 2016
DO  - 10.4204/eptcs.216.1
UR  - https://arxiv.org/abs/1607.02225
ID  - 1607.02225
ER  -