TY  - RPRT
TI  - Feature-Aware Verification
AU  - Sven Apel
AU  - Hendrik Speidel
AU  - Philipp Wendler
AU  - Alexander von Rhein
AU  - Dirk Beyer
PY  - 2011
UR  - https://arxiv.org/abs/1110.0021
ID  - 1110.0021
ER  -