Formal Verification student ב־Apple | גוזלי