Decision Procedures in Hardware Design

• Armin Biere (Speaker)

• Institute of Formal Models and Verification

Activity: Talk or presentation › Invited talk › unknown