TY  - RPRT
TI  - CPAchecker: A Tool for Configurable Software Verification
AU  - Dirk Beyer
AU  - M. Erkan Keremoglu
PY  - 2009
UR  - https://arxiv.org/abs/0902.0019
ID  - 0902.0019
ER  -