Effective Bit-Width and Under-Approximation

• Robert Brummayer (Speaker)

• Institute of Formal Models and Verification

Activity: Talk or presentation › Contributed talk › unknown