vix.ing · top · new · best · stats · spec

Abreu, Renato B.

  1. Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
    2013/05/13 by Renato B. Abreu, Abreu, Renato B., Lucas Cordeiro +4 · 1 voice
    Computer Science · Engineering · #cs.SE #cs.LO