TY  - RPRT
TI  - Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
AU  - Renato B. Abreu
AU  - Lucas Cordeiro
AU  - Eddie B. L. Filho
PY  - 2013
UR  - https://arxiv.org/abs/1305.2892
ID  - 1305.2892
ER  -