TY  - RPRT
TI  - CPBVP: A Constraint-Programming Framework for Bounded Program Verification
AU  - Hélène Collavizza
AU  - Michel Rueher
AU  - Pascal Van Hentenryck
PY  - 2008
UR  - https://arxiv.org/abs/0807.2383
ID  - 0807.2383
ER  -