TY  - RPRT
TI  - Using Bounded Model Checking to Focus Fixpoint Iterations
AU  - David Monniaux
AU  - Laure Gonnord
PY  - 2011
UR  - https://arxiv.org/abs/1106.2637
ID  - 1106.2637
ER  -