עופר שטריכמן מהפקולטה להנדסת תעשייה וניהול הינו אחד הזוכים בפרס CAV – Computer Aided Verification לשנת 2021 על תרומות חלוציות למסד התיאורטי והיישומי של Satisfiability Modulo Theories (SMT).
עופר שטריכמן מהפקולטה להנדסת תעשייה וניהול הינו אחד הזוכים בפרס CAV – Computer Aided Verification לשנת 2021 על תרומות חלוציות למסד התיאורטי והיישומי של Satisfiability Modulo Theories (SMT).
