TY  - RPRT
TI  - Reusing Precisions for Efficient Regression Verification
AU  - Dirk Beyer
AU  - Stefan Löwe
AU  - Evgeny Novikov
AU  - Andreas Stahlbauer
AU  - Philipp Wendler
PY  - 2013
UR  - https://arxiv.org/abs/1305.6915
ID  - 1305.6915
ER  -