TY  - RPRT
TI  - Combining k-Induction with Continuously-Refined Invariants
AU  - Dirk Beyer
AU  - Matthias Dangl
AU  - Philipp Wendler
PY  - 2015
UR  - https://arxiv.org/abs/1502.00096
ID  - 1502.00096
ER  -