TY  - RPRT
TI  - Heuristics for Selecting Predicates for Partial Predicate Abstraction
AU  - Tuba Yavuz
AU  - Chelsea Metcalf
PY  - 2017
UR  - https://arxiv.org/abs/1801.02457
ID  - 1801.02457
ER  -