TY  - RPRT
TI  - Towards Evaluating Size Reduction Techniques for Software Model Checking
AU  - Gyula Sallai
AU  - Ákos Hajdu
AU  - Tamás Tóth
AU  - Zoltán Micskei
PY  - 2017
DO  - 10.4204/eptcs.253.7
UR  - https://arxiv.org/abs/1708.07224
ID  - 1708.07224
ER  -