@misc{indiciaee205e4e8544a,
  title = {Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking},
  author = {Renato B. Abreu and Lucas Cordeiro and Eddie B. L. Filho},
  year = {2013},
  url = {https://arxiv.org/abs/1305.2892},
  note = {Source identifier: 1305.2892}
}