0368354703 - Workshop on Formal Verification
הקורס הזה מתקיים כאחת הקבוצות בקורס אב: