Christoph M. Wintersteiger

• Digitaltechnik - eine praxisnahe Einfu hrung
• Theory and Applications of Satisfiability Testing - SAT 2018