TY  - RPRT
TI  - Formula Slicing: Inductive Invariants from Preconditions
AU  - Egor George Karpenkov
AU  - David Monniaux
PY  - 2016
UR  - https://arxiv.org/abs/1609.09288
ID  - 1609.09288
ER  -