TY  - RPRT
TI  - Bounded Model Checking of Pointer Programs Revisited
AU  - Witold Charatonik
AU  - Piotr Witkowski
PY  - 2016
UR  - https://arxiv.org/abs/1602.09061
ID  - 1602.09061
ER  -