TY  - RPRT
TI  - Unbounded Software Model Checking with Incremental SAT-Solving
AU  - Marko Kleine Büning
AU  - Tomas Balyo
AU  - Carsten Sinz
PY  - 2018
UR  - https://arxiv.org/abs/1802.04174
ID  - 1802.04174
ER  -