אימות תוכנה – הבדלי גרסאות

[[אמיר פנואלי]] מ[[מכון ויצמן למדע]] נחשב למומחה ברמה בינלאומית בתחום זה ואף זכה על מחקריו בתחום ב[[פרס טיורינג]], הפרס החשוב ביותר במדעי המחשב.