TY  - RPRT
TI  - Refining Trace Abstraction using Abstract Interpretation
AU  - Marius Greitschus
AU  - Daniel Dietsch
AU  - Andreas Podelski
PY  - 2017
UR  - https://arxiv.org/abs/1702.02369
ID  - 1702.02369
ER  -